6 Jun
2014
6 Jun
'14
8:04 a.m.
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)