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

To find the state of this project's repository at the time of any of these versions, check out the tags.