diff options
| author | Junio C Hamano <gitster@pobox.com> | 2018-06-04 15:39:48 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-06-04 15:39:49 +0300 |
| commit | 643a9ea3e0d2937155bbce43e17bb132dc7166ff (patch) | |
| tree | 45eaa9be55a2642b46cc7a48591f9e4c6ca9196c /Documentation/git-remote.txt | |
| parent | f635b8d17b673ffb96c0f10d11751500e1892b2a (diff) | |
| parent | a97447a42a199c4f359608721c82e88cefb43a8e (diff) | |
Merge branch 'nd/remote-update-doc'
"git remote update" can take both a single remote nickname and a
nickname for remote groups, but only one of them was documented.
* nd/remote-update-doc:
remote: doc typofix
remote.txt: update documentation for 'update' command
Diffstat (limited to 'Documentation/git-remote.txt')
| -rw-r--r-- | Documentation/git-remote.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/git-remote.txt b/Documentation/git-remote.txt index 595948da53..0cad37fb81 100644 --- a/Documentation/git-remote.txt +++ b/Documentation/git-remote.txt @@ -186,8 +186,8 @@ actually prune them. 'update':: -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, +Fetch updates for remotes or remote groups in the repository as defined by +remotes.<group>. If neither group nor remote is specified on the command line, the configuration parameter remotes.default will be used; if remotes.default is not defined, all remotes which do not have the configuration parameter remote.<name>.skipDefaultUpdate set to true will |