Actually it looks like mirroring is still paused.

image.png

> Pull mirroring failed Jul 5, 2023, 12:11 AM.
> 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 <mikolaj@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