Due to a key rollover of our WebSSO provider there might be a short downtime of this Gitlab server on Friday, November 2.
To keep this project going, create a new merge request
