RE: Can't push to haddock repo

Simon Peyton Jones 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