Die monatliche GitLab Wartung findet am Donnerstag den 15.1. statt, daher wird GitLab an diesem Tag zwischen 17 Uhr und 18 Uhr nicht erreichbar sein
research area: extremal set theory