ah yes, my bad. Thanks | -----Original Message----- | From: Ben Gamari [mailto:[email protected]] | Sent: 26 October 2015 13:55 | To: Simon Peyton Jones; Herbert Valerio Riedel | Cc: [email protected] | Subject: RE: Can't push to haddock repo | | Simon Peyton Jones <[email protected]> writes: | | > Well in utils/haddock/.git/config I see [remote "origin"] | > url = git://git.haskell.org/haddock.git | > pushurl = ssh://[email protected]/haddock.git | > | Note the difference in hostnames, | | ssh://[email protected]/haddock.git | ssh://[email protected]/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
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
