diff options
author | Finn Arne Gangstad <finnag@pvv.org> | 2009-04-06 17:41:02 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-04-08 08:52:26 +0400 |
commit | b344e1614b15dfde0ab4dfc175bed1aac39bc264 (patch) | |
tree | f10a28791949617e5075d635fb67ecb851d0e121 /Documentation/git-remote.txt | |
parent | 9a23ba3375e2afa8045a433a3debce99c373beb2 (diff) |
git remote update: Fallback to remote if group does not exist
Previously, git remote update <remote> would fail unless there was
a remote group configured with the same name as the remote.
git remote update will now fall back to using the remote if no matching
group can be found.
This enables "git remote update -p <remote>..." to fetch and prune one
or more remotes, for example.
Signed-off-by: Finn Arne Gangstad <finnag@pvv.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-remote.txt')
-rw-r--r-- | Documentation/git-remote.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-remote.txt b/Documentation/git-remote.txt index 0b6e67dbca..9e2b4eaa38 100644 --- a/Documentation/git-remote.txt +++ b/Documentation/git-remote.txt @@ -16,7 +16,7 @@ SYNOPSIS 'git remote set-head' <name> [-a | -d | <branch>] 'git remote show' [-n] <name> 'git remote prune' [-n | --dry-run] <name> -'git remote update' [-p | --prune] [group] +'git remote update' [-p | --prune] [group | remote]... DESCRIPTION ----------- |