Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
* LaTeXfonts' tasks only run if necessary * They run with 'sudo su -c ' so the problem with sudo and su is worked around. *