On May, 9th GitLab may not be available, see also https://aktuelles.tugraz.at/news/announce.shtml#04-27