Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
@jm2154 @qz3357 If you are d'accord, we can merge our mini-sprint to master and finish the 1st Milestone :)
This closes issues: