<div dir="ltr"><div>I just merged in my -fdicts-strict work, so I was deleting the old branch… but it's rejected for some reason.</div><div><br></div><div>$ git push origin --delete dicts-strict</div><div>remote: performing tab-check...</div>
<div>remote: + refs/heads/dicts-strict ghc <my-username> DENIED by fallthru</div><div>remote: error: hook declined to update refs/heads/dicts-strict</div><div>To ssh://<a href="http://git@git.haskell.org/ghc.git">git@git.haskell.org/ghc.git</a></div>
<div> ! [remote rejected] dicts-strict (hook declined)</div><div>error: failed to push some refs to 'ssh://<a href="http://git@git.haskell.org/ghc.git">git@git.haskell.org/ghc.git</a>'</div><div><br></div><div>Git gurus chime in? Thanks.<br>
</div></div>