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.
The database system that this GitLab service operates on will be updated on Tuesday, 13.06.2023 starting at 6:00pm. The GitLab service is expected to be unavailable from 6:00pm - 7:00pm. We ask for your understanding.