Can't push to haddock repo

[Simon Peyton Jones]

ah yes, my bad. Thanks

|  -----Original Message-----
|  From: Ben Gamari [mailto:ben at well-typed.com]
|  Sent: 26 October 2015 13:55
|  To: Simon Peyton Jones; Herbert Valerio Riedel
|  Cc: ghc-devs at haskell.org
|  Subject: RE: Can't push to haddock repo
|  
|  Simon Peyton Jones <simonpj at 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