<div dir="ltr"><div dir="ltr">To be clear, the wip/dmd-arity is not the only branch I've received e-mails about. I've also received "Remove mirror update failed" e-mails of a similar caliber that warn about the wip/slowtest, ghc-8.6, ghc-8.8-merges, wip/marge_bot_batch_merge_job, and master branches.</div><div dir="ltr"><br></div><div>Are you not received these as well? They almost seem to happen any time any commit is landed.</div><div><br></div><div>Ryan S.<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Apr 6, 2019 at 2:28 PM Ben Gamari <<a href="mailto:ben@well-typed.com">ben@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">Ryan Scott <<a href="mailto:ryan.gl.scott@gmail.com" target="_blank">ryan.gl.scott@gmail.com</a>> writes:<br>
<br>
> Almost every day now I receive an e-mail from GitLab titled "Remote<br>
> mirror update failed", which contains something like:<br>
><br>
>     To<br>
><br>
>      ! [remote rejected]       wip/dmd-arity -> wip/dmd-arity (cannot<br>
> lock ref 'refs/heads/wip/dmd-arity': is at<br>
> e1cc1254b81a7adadd8db77c7be625497264ab2b but expected<br>
> f07b61d047967129a3ae0c56f8894d41c5a9b036)<br>
><br>
>     error: failed to push some refs to '[FILTERED]@<a href="http://github.com/ghc/ghc" rel="noreferrer" target="_blank">github.com/ghc/ghc</a>'<br>
><br>
Hmm, how annoying. Strangely, the `wip/dmd-arity` branch currently<br>
appears to be sitting at the same commit on GitLab and GitHub so I'm not<br>
really sure what to do here.<br>
<br>
sgraf, did you ever push a branch manually to the <a href="http://github.com/ghc/ghc" rel="noreferrer" target="_blank">github.com/ghc/ghc</a><br>
mirror?<br>
<br>
Cheers,<br>
<br>
-  Ben<br>
<br>
</blockquote></div>