Add link to gitlab
It would be good to have a link to the gitlab page, so that issues can be added more easily :-)
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
It would be good to have a link to the gitlab page, so that issues can be added more easily :-)