Pusing to haddock

[Herbert Valerio Riedel]

On 2016-06-13 at 23:44:14 +0200, Ben Gamari wrote:
> Simon Peyton Jones <simonpj at microsoft.com> 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