Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
This reverts commit 7efc2374. The function was used by the compiler lab reference compiler.