Can't push to haddock repo

Simon Peyton Jones simonpj at
Mon Oct 26 12:57:55 UTC 2015

I can't update the haddock repository!   (I want to add a new branch for my in-flight work.)
Can anyone help?

git push --set-upstream origin wip/spj-wildcard-refactor

remote: W refs/heads/wip/spj-wildcard-refactor haddock simonpj DENIED by refs/.*

remote: error: hook declined to update refs/heads/wip/spj-wildcard-refactor

To ssh://

! [remote rejected] wip/spj-wildcard-refactor -> wip/spj-wildcard-refactor (hook declined)

error: failed to push some refs to 'ssh://'

haddock $
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list