<div dir="ltr">This GitLab CE issue seems relevant: [1]<br><br>(I'm writing this just as I receive another "Remote mirror update failed" e-mail, this time about the wip/lint-check-version-number branch.)<br><br>Ryan S.<br>-----<br>[1] <a href="https://gitlab.com/gitlab-org/gitlab-ce/issues/56222">https://gitlab.com/gitlab-org/gitlab-ce/issues/56222</a></div><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Apr 7, 2019 at 3:30 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>
> To be clear, the wip/dmd-arity is not the only branch I've received e-mails<br>
> about. I've also received "Remove mirror update failed" e-mails of a<br>
> similar caliber that warn about the wip/slowtest, ghc-8.6, ghc-8.8-merges,<br>
> wip/marge_bot_batch_merge_job, and master branches.<br>
><br>
> Are you not received these as well? They almost seem to happen any time any<br>
> commit is landed.<br>
><br>
Strangely I'm not. I did receive a number of similar emails for other<br>
repositories in March but I have not received any recently and never any<br>
concerning ghc/ghc. This is extremely strange given that I created the<br>
project and we both have maintainer role.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<br>
</blockquote></div>