Maintenance: GitLab on 9.5.2019 from 17:00 to 18:00

[sc name=“head_betriebsmeldungen_en“ message_id=“201905041023″ time=“9.5.2019 5-6 pm“ affected=“GitLab Users“ impact=“Temporary inaccessibility of GitLab“ ]

Due to server maintenance, GitLab (https://gitlab.gwdg.de) will be temporarily inaccessible. User data will be moved to a different storage system, login via the Academic ID will be activated, and we will upgrade GitLab to the Enterprise Edition.