Due to a key rollover of our WebSSO provider there might be a short downtime of this Gitlab server on Friday, November 2.

    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.