change all git.scc.kit.edu to gitlab.kit.edu/kit