GitLab problems
Summary
GitLab lately has problems with this repository.
- The main page of the repository often does not load.
- Mirroring stopped working. I have tried several times to update and it never pushes. New mirroring settings do not work either.
Steps to reproduce
Try to open https://gitlab.dune-project.org/copasi/dune-copasi/
Ideas how to fix this?
No clue what's wrong. But if @rhess gives me a hint I could try to find out what is going on.