I ran that command and it didn't complain. No idea whether it worked or not though! This now appears in .gitconfig [url "ssh://git@github.com/haskell/haddock.git"] pushInsteadOf = ssh://git@ghc.haskell.org/haddock.git But shouldn't sync-all set this push-url stuff up correctly? Having to remember to look for redirects in .gitconfig seems like one more way to get confused when looking at a .git/config file. Simon | -----Original Message----- | From: Herbert Valerio Riedel [mailto:hvriedel@gmail.com] | Sent: 06 June 2014 13:05 | To: Simon Peyton Jones | Cc: ghc-devs@haskell.org | Subject: Re: pushing to haddock | | 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)