Hallo,
der Umzug des Gitlab Serves ist erfolgreich abgeschlossen.
Er ist jetzt unter der neuen URL https://gitlab.informatik.fb2.frankfurt-university.de/ erreichbar.
Hier noch ein Tipp für die Arbeit mit dem git client um auf die neue URL umzustellen:
git remote set-url origin https://gitlab.informatik.fb2.frankfurt-university.de
Sollte es mit dem neuen Server Probleme geben, bitte bei Volker Lerch (vlerch@fb2.fra-uas.de) melden.