Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
visit_all_identities() added, needed for iredges [r7704]