diff options
author | Santi Béjar <sbejar@gmail.com> | 2006-09-23 14:05:43 +0400 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-09-24 11:13:49 +0400 |
commit | 648ad18f5077295c4317f0784b29e09d2c0bac93 (patch) | |
tree | 9b6315db16fd1be76e63e19af193a8939f2b7434 /Documentation | |
parent | ed1795fcc5f2aa3f105630429bcbed49c50053fa (diff) |
Fetch: default remote repository from branch properties
If in branch "foo" and this in config:
[branch "foo"]
remote=bar
"git fetch" = "git fetch bar"
"git pull" = "git pull bar"
Signed-off-by: Santi Béjar <sbejar@gmail.com>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/config.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Documentation/config.txt b/Documentation/config.txt index bb2fbc324e..04c5094fdd 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -119,6 +119,9 @@ apply.whitespace:: Tells `git-apply` how to handle whitespaces, in the same way as the '--whitespace' option. See gitlink:git-apply[1]. +branch.<name>.remote:: + When in branch <name>, it tells `git fetch` which remote to fetch. + pager.color:: A boolean to enable/disable colored output when the pager is in use (default is true). |