<div dir="ltr"><div>Actually it looks like mirroring is still paused.</div><div><br></div><div><img src="cid:ii_ljwirx9o0" alt="image.png" width="578" height="173"><br></div><div><br></div><div>> <a href="https://gitlab.haskell.org/haskell/cabal/-/mirror">Pull mirroring failed Jul 5, 2023, 12:11 AM.</a>
<br>> Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer or owner.
<br>> Last successful update Jul 2, 2023, 11:40 PM.

</div><div><br></div><div>Perhaps there was a "fix" in the recent update to GitLab  that disallows pulls from modifying protected branches.</div><div><br></div><div>I will look into this today.<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 5 Jul 2023 at 23:20, Mikolaj Konarski <<a href="mailto:mikolaj@well-typed.com">mikolaj@well-typed.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">> The Graphviz project has seen similar Gitlab error messages a few weeks<br>
> ago. We didn’t do anything and the errors seemed to resolve themselves.<br>
<br>
Thank you. That's how true masters solve problems. :)<br>
<br>
So far, our pipelines are green, too:<br>
<br>
<a href="https://gitlab.haskell.org/haskell/cabal/-/pipelines" rel="noreferrer" target="_blank">https://gitlab.haskell.org/haskell/cabal/-/pipelines</a><br>
_______________________________________________<br>
cabal-devel mailing list<br>
<a href="mailto:cabal-devel@haskell.org" target="_blank">cabal-devel@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/cabal-devel" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/cabal-devel</a><br>
</blockquote></div>