Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
purposes, call it only if a node is really replaced. [r21475]