diff options
author | Jean-Noël Avila <jn.avila@free.fr> | 2023-12-25 21:21:26 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-12-26 11:06:55 -0800 |
commit | 2162f9f6f86df4f49c3a716b5beb3952104ea8b8 (patch) | |
tree | 9f0fec3c23e0ef98bbb46ec8ceec200355330c89 /Documentation/git-fetch.txt | |
parent | 055bb6e9969085777b7fab83e3fee0017654f134 (diff) | |
download | git-2162f9f6f86df4f49c3a716b5beb3952104ea8b8.tar.gz |
doc: enforce dashes in placeholders
The CodingGuidelines documents stipulates that multi-word placeholders
are to be separated by dashes, not underscores nor spaces.
Signed-off-by: Jean-Noël Avila <jn.avila@free.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-fetch.txt')
-rw-r--r-- | Documentation/git-fetch.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/git-fetch.txt b/Documentation/git-fetch.txt index f123139c58..50900a50da 100644 --- a/Documentation/git-fetch.txt +++ b/Documentation/git-fetch.txt @@ -186,8 +186,8 @@ origin: ------------------------------------------------ $ git fetch origin --prune --prune-tags $ git fetch origin --prune 'refs/tags/*:refs/tags/*' -$ git fetch <url of origin> --prune --prune-tags -$ git fetch <url of origin> --prune 'refs/tags/*:refs/tags/*' +$ git fetch <url-of-origin> --prune --prune-tags +$ git fetch <url-of-origin> --prune 'refs/tags/*:refs/tags/*' ------------------------------------------------ OUTPUT |