V
This GitLab is scheduled to be shut down at the end of this year. Please create new projects/repositories on the kiz-GitLab (https://gitlab.uni-ulm.de/). Existing projects on this GitLab can be imported into the kiz-GitLab over "New project" > "Import project" > "Repository by URL" > https://gitlab-mi.informatik.uni-ulm.de/[path_to_project].git (clone project with https)