On Thursday, 7th July from 1 to 3 pm there will be a maintenance with a short downtime of GitLab.
e.g. here: https://labdev-nomad.esc.rzg.mpg.de/fairdi/nomad/migration/gui/search/ikZESaRwQ0WtRmX97xWpiQ/EfYjPrXL1pyoGsqiHLBQ4JSJshcx