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