Aufgrund von Wartungsarbeiten ist am 25.11.2019 in der Zeit von 7:00 Uhr bis 12:00 Uhr mit Ausfällen des Systems zu rechnen.

    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.