Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Big update after running source code beautifier to fix code alignments etc. There should be no feature changes in this commit.