Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Die neue titlebar auf devel-devel sieht sehr schlecht auf kleineren Bildschirmen aus:
Vorher:
Vermutlich bietet sich hier ein media-query und ein dropdown menu an