pushing to haddock

Herbert Valerio Riedel hvriedel at gmail.com
Fri Jun 6 12:04:37 UTC 2014

On 2014-06-06 at 13:47:03 +0200, Simon Peyton Jones wrote:


> To ssh://git@ghc.haskell.org/haddock.git

PS: you could also try to configure the following (assuming your Git is
new enough):

  git config --global \
     url."ssh://git@github.com/haskell/haddock.git".pushInsteadOf \

This would instruct Git to redirect pushes to
ssh://git@ghc.haskell.org/haddock.git to go via
ssh://git@github.com/haskell/haddock.git instead

(the idea is generally described on
and is what the tooling I'm planning to code up would help you manage
based on the ./packages file)

More information about the ghc-devs mailing list