Can't push to haddock repo

Ben Gamari ben at
Mon Oct 26 13:54:55 UTC 2015

Simon Peyton Jones <simonpj at> writes:

> Well in utils/haddock/.git/config I see
> [remote "origin"]
> 	url = git://
> 	pushurl = ssh://
Note the difference in hostnames,


The point being, Haddock is hosted on Github. I believe the repo on 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.


- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list