I
InformatikDKVorstand
Git repositories owned by the board members ("Vorstand") of the doctoral convention of the KIT Department of Informatics
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
Git repositories owned by the board members ("Vorstand") of the doctoral convention of the KIT Department of Informatics