Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
A higher type was set in a few places, but not used otherwise.