Wartungsarbeiten am GitLab

Kommenden Montag, 23.12.2019, ist das GitLab (gitlab.cs.fau.de) aufgrund von Wartungsarbeiten zwischen 11:00 und 24:00 nicht erreichbar.

-- Felix Kraus