admin

Anything for administering our teaching/project infrastructure: GitLab, cloud providers, etc.