pushing to haddock

[Herbert Valerio Riedel]

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 \
     ssh://git@ghc.haskell.org/haddock.git

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
https://ghc.haskell.org/trac/ghc/wiki/WorkingConventions/Git/Submodules
and is what the tooling I'm planning to code up would help you manage
based on the ./packages file)