Die monatliche GitLab Wartung findet am Dienstag den 16.12. statt, daher wird GitLab an diesem Tag zwischen 17 Uhr und 18 Uhr nicht erreichbar sein
Digitale Dienste der tub. Weiteres auch auf github.com/tubhh
