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