Today (19.05.2020) we will shut the Gitlab server down for maintenance starting 9 p.m. The server will be available again in the morning.