Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
This replaces several 1/0 and true/false by yes/no.