Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Remove discontinued source code. To keep discontinued versions of the source code in the current commit is not reasonable. The source code management system provides all former versions of the source code on request.