Anything for administering our teaching/project infrastructure: GitLab, cloud providers, etc.
Helper scripts for managing GitLab groups and projects