Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
This reverts commit a1a0490d, reversing changes made to d8af9811.