pushing to haddock

[Simon Peyton Jones]

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 at gmail.com]
| Sent: 06 June 2014 13:05
| To: Simon Peyton Jones
| Cc: ghc-devs at 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)