-
Matthias Braun authored
The semantics on when to set this flag were unclear, so there weren't any real users anyway.
48de24b4
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Dieser Pilot-GitLab wird zum Ende des Wintersemesters 2023/24, d.h. am 31.03.2024, geschlossen // This pilot GitLab will be closed at the end of the winter semester 2023/24 on March 31, 2024
The semantics on when to set this flag were unclear, so there weren't any real users anyway.