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 instance will move to a different IP address in week 6 of this year. Short downtime and hiccups with the services are to be expected (git/pages/mattermost.geomar.de and the container registry).
Interested parties can even contribute by pushing commits if they want to.