Pusing to haddock
Simon Peyton Jones
simonpj at microsoft.com
Mon Jun 13 21:13:46 UTC 2016
Devs,
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
Simon
-------------- 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