-
Matthias Braun authored
This was done by removing unnecessary options/options that only allowed marginal tweakings to improve performance while at the same time making the interface cumbersome.
b3b65d5e
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
This was done by removing unnecessary options/options that only allowed marginal tweakings to improve performance while at the same time making the interface cumbersome.