diff options
| author | Theodore Ts'o <tytso@mit.edu> | 2007-02-20 15:13:43 -0500 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2007-02-20 23:58:39 -0800 |
| commit | 1918278ea1019553b01297aad2caeed88e9092a4 (patch) | |
| tree | 3776db2051dfdd63aa4acba8344a2a02af965606 /Documentation/git-remote.txt | |
| parent | 7b9a13ece8a1e7c0fd2a82d4bd4fcf0a9ce0e8c4 (diff) | |
| download | git-1918278ea1019553b01297aad2caeed88e9092a4.tar.gz | |
Allow git-remote to update named groups of remotes
In response to a feature request from Shawn Pearce, this patch allows
a user to update a named group of remotes by using "git remote update
<group>", where the group is defined in the config file by
remotes.<group>. The default if the named group is not specified is
now fetched group remotes.default, instead of remote.fetch, which is
what had been previously used.
In addition, if remotes.default is not defined, all remotes defined in
the config file will be used, as before, but there is now also
possible to request that a particular repository to be skipped by
default by using the boolean configuration parameter
remote.<name>.skipDefaultUpdate.
Signed-off-by: "Theodore Ts'o" <tytso@mit.edu>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/git-remote.txt')
| -rw-r--r-- | Documentation/git-remote.txt | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/Documentation/git-remote.txt b/Documentation/git-remote.txt index 06ba2e6f26..250761f97e 100644 --- a/Documentation/git-remote.txt +++ b/Documentation/git-remote.txt @@ -13,7 +13,7 @@ SYNOPSIS 'git-remote' add <name> <url> 'git-remote' show <name> 'git-remote' prune <name> -'git-remote' update +'git-remote' update [group] DESCRIPTION ----------- @@ -46,9 +46,12 @@ referenced by <name>, but are still locally available in 'update':: -Fetch updates for the remotes in the repository. By default all remotes -are updated, but this can be configured via the configuration parameter -'remote.fetch'. (See gitlink:git-config[1]). +Fetch updates for a named set of remotes in the repository as defined by +remotes.<group>. If a named group is not specified on the command line, +the configuration parameter remotes.default will get used; if +remotes.default is not defined, all remotes which do not the +configuration parameter remote.<name>.skipDefaultUpdate set to true will +be updated. (See gitlink:git-config[1]). DISCUSSION |