Pusing to haddock

Simon Peyton Jones simonpj at microsoft.com
Mon Jun 13 21:13:46 UTC 2016

I want to push to the haddock repo, to fix the build.  But I can’t.
.git/modules/utils/haddock/ contains

[remote "origin"]

   url = git://git.haskell.org/haddock.git

        pushurl = ssh://git@git.haskell.org/haddock.git

   fetch = +refs/heads/*:refs/remotes/origin/*
I’m on branch ghc-head.  But when I push I get

/cygdrive/c/code/HEAD/utils/haddock$ git push

remote: W refs/heads/ghc-head haddock simonpj DENIED by refs/.*

remote: error: hook declined to update refs/heads/ghc-head

To ssh://git@git.haskell.org/haddock.git

! [remote rejected] ghc-head -> ghc-head (hook declined)

error: failed to push some refs to 'ssh://git@git.haskell.org/haddock.git'
No info on WHY it rejected.
What now?  I attach the patch if someone else would like to push.  If you do, update ghc HEAD to match

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160613/aa26a0bc/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: spj-haddock-patch
Type: application/octet-stream
Size: 4150 bytes
Desc: spj-haddock-patch
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160613/aa26a0bc/attachment.obj>

More information about the ghc-devs mailing list