divekit distribute

The ‘distribute’ command creates multiple repositories on GitLab based on the configurations in .divekit.

[!WARNING] was originally called divekit setup and was renamed because setup sounds like local preparation and not like distribution across multiple repositories.

Creates multiple repositories on GitLab based on the configurations in repositoryConfig.json.

[!NOTE] Only partially functional - style still different

  • Only creates repos with members
    • no test repos
    • no overview
  • Members are assigned directly
  • Members are checked but simply ignored

Beispiel Ablauf

$ divekit distribute

? Found several distributions. Please choose one:
[ ] local
[x] supervisor
[ ] student

Checking members:
[√] 2 user available 
[X] 3 users not found:
    - ada
    - charles
    - jobs

Would create 2 repository with name "ST2-2024-{uuid}" and assign 2 members.

? Continue? [Y/n]: y

Creating main repositories at #234567:
[██████████████████████████████████████████████████] 100% (2/2)

Creating test repositories at #345678:
[██████████████████████████████████████████████████] 100% (2/2)

Assigning members:
[███████████████████████████                         ] 50% (1/2)
Last modified January 23, 2025: create files for notes, ideas, questsions (d0ee9e3)