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 server will be unavailable due to maintenance on February 05, 2025 between 17:00 and 21:00 (Central European Time). We are sorry for the inconvenience. During this period, neither Git nor the GitLab web interface will be available, so please make sure you plan accordingly.
Interested parties can even contribute by pushing commits if they want to.