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 /Documentation/urls-remotes.txt | |
| parent | f4f78e668dd40f2d4a5bc119cccb3c34c2675c38 (diff) | |
| download | git-203462347fce0eab563fe77640648a7e8ae64d3b.tar.gz | |
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 'Documentation/urls-remotes.txt')
| -rw-r--r-- | Documentation/urls-remotes.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Documentation/urls-remotes.txt b/Documentation/urls-remotes.txt index 41ec7774f4..2a0e7b8944 100644 --- a/Documentation/urls-remotes.txt +++ b/Documentation/urls-remotes.txt @@ -27,10 +27,13 @@ config file would appear like this: ------------ [remote "<name>"] url = <url> + pushurl = <pushurl> push = <refspec> fetch = <refspec> ------------ +The `<pushurl>` is used for pushes only. It is optional and defaults +to `<url>`. Named file in `$GIT_DIR/remotes` ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |