Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
disable user on deregister, enable on register, if the account exists.