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.
Aufgrund von sicherheitskritischen Patches müssen git.rwth-aachen.de & git-ce.rwth-aachen.de zwischen 15:00 und 16:00 Uhr einem Update unterzogen werden. // Due to severe security patches git.rwth-aachen.de & git-ce.rwth-aachen.de must be upgraded. This will happen today from 3:00 pm and 4:00 pm.