Die monatliche GitLab Wartung findet am Dienstag den 4.8. statt, daher wird GitLab an diesem Tag zwischen 17 Uhr und 18 Uhr nicht erreichbar sein
Collection of useful scripts for interacting with Stud.IP
