Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
- reserve the IRN_LINK resource [r23156]