Pusing to haddock

Herbert Valerio Riedel hvriedel at gmail.com
Mon Jun 13 22:13:58 UTC 2016

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

And you should have permission to push there.

git.haskell.org/haddock.git is a mirror of the GitHub repo

More information about the ghc-devs mailing list