Make repo public
Once this is published, we should make the repo "public" or "internal" to encourage participation.
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Once this is published, we should make the repo "public" or "internal" to encourage participation.