pushing to haddock

Simon Peyton Jones simonpj at microsoft.com
Fri Jun 6 12:11:21 UTC 2014

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.


| -----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)

More information about the ghc-devs mailing list