Re: Pusing to haddock

On 2016-06-13 at 23:44:14 +0200, Ben Gamari wrote:

Simon Peyton Jones writes:

...

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

well, that's incorrect... if you look in the 'packages' text-file at the top of GHC's source-tree, you'll notice that haddock's upstream repo is declared as ssh://git@github.com/haskell/haddock.git And you should have permission to push there. git.haskell.org/haddock.git is a mirror of the GitHub repo