HEUTE, am Freitag (den 24.07.) muss GitLab aufgrund eines Zertifikatwechsels im Zeitraum von 17:00-17:30 neu gestartet werden. GitLab wird daher für kurze Zeit nicht erreichbar sein. Von der Nutzung der WEB IDE und vom Editieren online ist in diesem Zeitraum abzuraten - Änderungen können verloren gehen!