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@gmail.com] | Sent: 26 October 2015 13:04 | To: Simon Peyton Jones | Cc: ghc-devs@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@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

ah yes, my bad. Thanks | -----Original Message----- | From: Ben Gamari [mailto:ben@well-typed.com] | Sent: 26 October 2015 13:55 | To: Simon Peyton Jones; Herbert Valerio Riedel | Cc: ghc-devs@haskell.org | Subject: RE: Can't push to haddock repo | | Simon Peyton Jones writes: | | > 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 | > | Note the difference in hostnames, | | ssh://git@git.haskell.org/haddock.git | ssh://git@github.com/haskell/haddock.git | | The point being, Haddock is hosted on Github. I believe the repo on | git.haskell.org is merely a mirror. | | It's a bit hard to keep track of all of this at times, so the upstream | repositories are documented in the `packages` file at the root of the GHC | repository. | | Cheers, | | - Ben