author | Michael J Gruber <git@drmicha.warpmail.net> | |
Tue, 9 Jun 2009 16:01:34 +0000 (18:01 +0200) | ||
committer | Junio C Hamano <gitster@pobox.com> | |
Wed, 10 Jun 2009 06:46:47 +0000 (23:46 -0700) | ||
commit | 203462347fce0eab563fe77640648a7e8ae64d3b | |
tree | d5cc723473be92132fd19e120b721f461a14c9ed | tree | snapshot |
parent | f4f78e668dd40f2d4a5bc119cccb3c34c2675c38 | commit | diff |
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>
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 | diff | blob | history | |
Documentation/urls-remotes.txt | diff | blob | history | |
builtin-push.c | diff | blob | history | |
remote.c | diff | blob | history | |
remote.h | diff | blob | history |