Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
On May 8th, the pilot GitLab server will be completely deleted.
colourful textboxes in different shapes (not sure if one can build a KIT box out of it)