Can't push to haddock repo

[Simon Peyton Jones]

Well in utils/haddock/.git/config I see
[remote "origin"]
	url = git://git.haskell.org/haddock.git
	pushurl = ssh://git@git.haskell.org/haddock.git

So that looks right.  Why would git push not work?

Simon

| -----Original Message-----
| From: Herbert Valerio Riedel [mailto:hvriedel at gmail.com]
| Sent: 26 October 2015 13:04
| To: Simon Peyton Jones
| Cc: ghc-devs at haskell.org
| Subject: Re: Can't push to haddock repo
| 
| 
| In the GHC tree:
| 
| $ grep haddock packages
| utils/haddock                -           -
| ssh://git@github.com/haskell/haddock.git
| 
| says that the upstream repo for Haddock is ssh://...
| 
| (there are some comments in the 'packages' file that explain what the
| last column means)
| 
| so you have to do something like
| 
|   git push ssh://git@github.com/haskell/haddock.git HEAD:wip/spj-wildcard-
| refactor
| 
| (the 'HEAD:' part may be optional, it just says, push what is the
| current HEAD of your local repo to the remote branch wip/...)
| 
| HTH
| 
| On 2015-10-26 at 13:57:55 +0100, Simon Peyton Jones wrote:
| > I can't update the haddock repository!   (I want to add a new branch for
| my in-flight work.)
| > Can anyone help?
| > Thanks
| > Simon
| >
| >
| > 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://git@git.haskell.org/haddock.git
| >
| > ! [remote rejected] wip/spj-wildcard-refactor -> wip/spj-wildcard-
| refactor (hook declined)
| >
| > error: failed to push some refs to
| 'ssh://git@git.haskell.org/haddock.git'
| >
| > haddock $
| > _______________________________________________
| > ghc-devs mailing list
| > ghc-devs at haskell.org
| >
| https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fmail.haskel
| l.org%2fcgi-bin%2fmailman%2flistinfo%2fghc-
| devs&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7c8b244454862541a00577
| 08d2de05db9f%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=kCypWx5Kq7ffV9piW
| ItQNerjzDLU68rgHUacMsV%2f5pk%3d
| 
| --
| "Elegance is not optional" -- Richard O'Keefe