-
Matthias Braun authoredThis also fixes issues where the no_critical_edges flag was not cleared.
8374c9f6
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Git.scc.kit.edu ist zu Jahresende 2023 abgekündigt. Ab dem 04.12.2023 können Nutzende unter git.scc.kit.edu keine neuen Projekte und Gruppen mehr angelegen. Erstellen Sie diese unter gitlab.kit.edu.
Git.scc.kit.edu is discontinued at the end of 2023. As of 12/04/2023, users will no longer be able to create new projects and groups at git.scc.kit.edu. Create them at gitlab.kit.edu.
This also fixes issues where the no_critical_edges flag was not cleared.