Aufgrund einer Konfigurationsanpassung muss GitLab um 11 Uhr neugestartet werden. // Due to a configuration change, GitLab must be restarted at 11 a.m.
Stuff for the RERS challenge 2020
