Glossary

Comprehensive list of Divekit terms and definitions.

This glossary provides definitions for terms used throughout the Divekit documentation.

TermDefinition
DivekitA command-line tool for managing individualized programming assignments at scale.
CLICommand Line Interface - the primary way to interact with Divekit.
Origin RepositoryThe source repository containing the assignment template and Divekit configuration.
DistributionA specific configuration for creating and managing student repositories.
IndividualizationThe process of creating unique variations of assignments for each student.
Secure PipelineOptional test repositories that run automated evaluations separately from student code.
MembersStudents or users who will receive access to distributed repositories.
UUIDUniversally Unique Identifier - used to create unique repository names.
LinkingThe connection between code and test repositories in secure pipeline setups.
VariablesPlaceholders in assignment files that are replaced with random values during individualization.
RemoteConfiguration for connecting to different GitLab instances or environments.