[Dune] Gitlab Maintenance on 8th and 9th June

[Christian Engwer]

Hi Rene,

thanks for all the work. There seems to be a problem with the new setup:

duneuro$ git push --set-upstream origin feature/2.7-cleanup
bash: /home/git/gitlab-shell/bin/gitlab-shell: No such file or directory
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

Ciao
Christian