Allow push and fetch urls to be different
commit203462347fce0eab563fe77640648a7e8ae64d3b
authorMichael J Gruber <git@drmicha.warpmail.net>
Tue, 9 Jun 2009 16:01:34 +0000 (9 18:01 +0200)
committerJunio C Hamano <gitster@pobox.com>
Wed, 10 Jun 2009 06:46:47 +0000 (9 23:46 -0700)
treed5cc723473be92132fd19e120b721f461a14c9ed
parentf4f78e668dd40f2d4a5bc119cccb3c34c2675c38
Allow push and fetch urls to be different

This introduces a config setting remote.$remotename.pushurl which is
used for pushes only. If absent remote.$remotename.url is used for
pushes and fetches as before.
This is useful, for example, in order to do passwordless fetches
(remote update) over the git transport but pushes over ssh.

Signed-off-by: Michael J Gruber <git@drmicha.warpmail.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/config.txt
Documentation/urls-remotes.txt
builtin-push.c
remote.c
remote.h