diff options
| author |  Michael J Gruber <git@drmicha.warpmail.net> | 2009-06-09 18:01:34 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2009-06-09 23:46:47 -0700 |
| commit | 203462347fce0eab563fe77640648a7e8ae64d3b (patch) | |
| tree | d5cc723473be92132fd19e120b721f461a14c9ed /builtin-grep.c | |
| parent | Merge branch 'maint' (diff) | |
| download | tgif-203462347fce0eab563fe77640648a7e8ae64d3b.tar.xz | |
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>
Diffstat (limited to 'builtin-grep.c')
0 files changed, 0 insertions, 0 deletions