-
Christoph Mallon authored
The Proj might exist already, so reuse it. If it needs to be created, then do this once, not once per flags uers.
e69f71ef
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 Proj might exist already, so reuse it. If it needs to be created, then do this once, not once per flags uers.