projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4f78e6) | patch
Allow push and fetch urls to be different
authorMichael J Gruber <git@drmicha.warpmail.net>
Tue, 9 Jun 2009 16:01:34 +0000 (18:01 +0200)
committerJunio C Hamano <gitster@pobox.com>
Wed, 10 Jun 2009 06:46:47 +0000 (23:46 -0700)
commit203462347fce0eab563fe77640648a7e8ae64d3b
treed5cc723473be92132fd19e120b721f461a14c9edtree | snapshot
parentf4f78e668dd40f2d4a5bc119cccb3c34c2675c38commit | 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>
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
Git—the stupid content tracker