ah yes, my bad. Thanks
| -Original Message-
| From: Ben Gamari [mailto:b...@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 w
Simon Peyton Jones writes:
> Well in utils/haddock/.git/config I see
> [remote "origin"]
> url = git://git.haskell.org/haddock.git
> pushurl = ssh://g...@git.haskell.org/haddock.git
>
Note the difference in hostnames,
ssh://g...@git.haskell.org/haddock.git
ssh://g...@
ilto:hvrie...@gmail.com]
| Sent: 26 October 2015 13:04
| To: Simon Peyton Jones
| Cc: ghc-devs@haskell.org
| Subject: Re: Can't push to haddock repo
|
|
| In the GHC tree:
|
| $ grep haddock packages
| utils/haddock- -
| ssh://g...@github.com/haskell/haddock.git
|
In the GHC tree:
$ grep haddock packages
utils/haddock- -
ssh://g...@github.com/haskell/haddock.git
says that the upstream repo for Haddock is ssh://...
(there are some comments in the 'packages' file that explain what the
last column me