Merge requests are a place to propose changes you've made to a project and discuss those changes with others
Interested parties can even contribute by pushing commits if they want to.
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)