-
Matthias Braun authored
This mainly adds comments explaining the situation and avoids an extra graph walk.
9ebabcf3
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
This mainly adds comments explaining the situation and avoids an extra graph walk.