Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
(cherry picked from commit 56bd329009ecbbf5e599c4941da1c376cf50c347)