development/git
development/git
1
0
Fork 0
mirror of https://github.com/git/git synced 2024-10-02 14:45:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

tag doc: reword --[no-]merged to talk about commits, not tips

Browse source 
Change the wording for the --merged and --no-merged options to talk
about "commits" instead of "tips".

This phrasing was copied from the "branch" documentation in commit
5242860f54 ("tag.c: implement '--merged' and '--no-merged' options",
2015-09-10). Talking about the "tip" is branch nomenclature, not
something usually associated with tags.

This phrasing might lead the reader to believe that these options
might find tags pointing to trees or blobs, let's instead be explicit
and only talk about commits.

Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
Ævar Arnfjörð Bjarmason 2017-03-21 12:58:48 +00:00 committed by Junio C Hamano
parent b084060921
commit 8881d35cac
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Documentation/git-tag.txt
View file

@ -125,11 +125,11 @@ This option is only applicable when listing tags without annotation lines.
specified).
--merged [<commit>]::
Only list tags whose tips are reachable from the specified commit
(`HEAD` if not specified).
Only list tags whose commits are reachable from the specified
commit (`HEAD` if not specified).
--no-merged [<commit>]::
Only list tags whose tips are not reachable from the specified
Only list tags whose commits are not reachable from the specified
commit (`HEAD` if not specified).
--points-at <object>::