Actually it looks like mirroring is still paused. [image: image.png]
> Pull mirroring failed Jul 5, 2023, 12:11 AM. <https://gitlab.haskell.org/haskell/cabal/-/mirror> > Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer or owner. > Last successful update Jul 2, 2023, 11:40 PM. Perhaps there was a "fix" in the recent update to GitLab that disallows pulls from modifying protected branches. I will look into this today. On Wed, 5 Jul 2023 at 23:20, Mikolaj Konarski <miko...@well-typed.com> wrote: > > The Graphviz project has seen similar Gitlab error messages a few weeks > > ago. We didn’t do anything and the errors seemed to resolve themselves. > > Thank you. That's how true masters solve problems. :) > > So far, our pipelines are green, too: > > https://gitlab.haskell.org/haskell/cabal/-/pipelines > _______________________________________________ > cabal-devel mailing list > cabal-devel@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/cabal-devel >
_______________________________________________ cabal-devel mailing list cabal-devel@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/cabal-devel
