ah yes, my bad. Thanks | -----Original Message----- | From: Ben Gamari [mailto:ben@well-typed.com] | Sent: 26 October 2015 13:55 | To: Simon Peyton Jones; Herbert Valerio Riedel | Cc: ghc-devs@haskell.org | Subject: RE: Can't push to haddock repo | | Simon Peyton Jones <simonpj@microsoft.com> writes: | | > Well in utils/haddock/.git/config I see [remote "origin"] | > url = git://git.haskell.org/haddock.git | > pushurl = ssh://git@git.haskell.org/haddock.git | > | Note the difference in hostnames, | | ssh://git@git.haskell.org/haddock.git | ssh://git@github.com/haskell/haddock.git | | The point being, Haddock is hosted on Github. I believe the repo on | git.haskell.org 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. | | Cheers, | | - Ben