Utilities for managing student GitLab repositories

James Eagan 831eb193aa Initial import		2023-03-06 17:34:09 +01:00
.gitignore	Initial import	2023-03-06 17:34:09 +01:00
gitlab-clone-student-depots.py	Initial import	2023-03-06 17:34:09 +01:00
gitlab-create-student-depots.py	Initial import	2023-03-06 17:34:09 +01:00