Sync to git.dune-project.org broken
It looks like http://git.dune-project.org no longer gets updated. The last commits there seem to be from end of last year.
I don't mind no longer having git.dune-project.org, but would prefer if it redirected users to the GitLab instance instead of showing an outdated state of the repositories: I still had git.dune-project.org as the remote in some repositories and was wondering why some changes didn't show. As the repositories still exist, I didn't get an error.