Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
The optimization was disabled by 8e35902f.