
5 Apr
2019
5 Apr
'19
8:34 a.m.
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.