Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Signed-off-by: Beat Buesser <beat.buesser@ie.ibm.com>