Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
works. But some cleanups, etc are still to do..