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.
Hinweis: Diese GitLab-Instanz wird spätestens am 31.03.2025, dem Ende des aktuellen Semesters, deaktiviert. Bitte sichern Sie Ihre Daten rechtzeitig.
Interested parties can even contribute by pushing commits if they want to.