delete remote branch

[Nicolas Frisby]

I just merged in my -fdicts-strict work, so I was deleting the old branch…
but it's rejected for some reason.

$ git push origin --delete dicts-strict
remote: performing tab-check...
remote: + refs/heads/dicts-strict ghc <my-username> DENIED by fallthru
remote: error: hook declined to update refs/heads/dicts-strict
To ssh://git@git.haskell.org/ghc.git
 ! [remote rejected] dicts-strict (hook declined)
error: failed to push some refs to 'ssh://git@git.haskell.org/ghc.git'

Git gurus chime in? Thanks.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130908/7fed38f6/attachment.htm>