Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
with d321e81f...d321e81f~3 developer support scripts were added