Der GitLab-Server ist vom 24.07.2017 bis voraussichtlich 28.07.2017
wegen Updates und Wartungsarbeiten teilweise nicht erreichbar. Dies
betrifft die Web-Oberfläche und die Online-Repositories.
GitLab ist eine Webanwendung zur Versionsverwaltung für Softwareprojekte
auf der Basis von git.
