Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
- set be_ops only once - do not overwrite already set be_ops [r19742]