Near-daily "Remote mirror update failed" e-mails from GitLab

Ryan Scott ryan.gl.scott at gmail.com
Fri Apr 5 12:34:31 UTC 2019


Almost every day now I receive an e-mail from GitLab titled "Remote
mirror update failed", which contains something like:

    To

     ! [remote rejected]       wip/dmd-arity -> wip/dmd-arity (cannot
lock ref 'refs/heads/wip/dmd-arity': is at
e1cc1254b81a7adadd8db77c7be625497264ab2b but expected
f07b61d047967129a3ae0c56f8894d41c5a9b036)

    error: failed to push some refs to '[FILTERED]@github.com/ghc/ghc'

Is there a way to make these stop?

Ryan S.


More information about the ghc-devs mailing list