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:
>> 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://firstname.lastname@example.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