Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
This allows to pass all cli options as environment variables and fixes an issue were challenges starting with a dash were incorrectly interpreted as cli option instead of a positional argument.