[BUG?] Fetching a single tag to a local tag requires `--no-tags`

Hello everyone,

If I want to fetch a single tag from a remote repository to a local tag, it seems I have to use `--no-tags`, or else all tags on the remote are fetched:

git remote add ggg https://github.com/gitgitgadget/git # this command fetches all tags on Gitgitgadget git fetch ggg tag pr-590/phil-blain/doc-log-multiple-ranges-v2 # this command fetches only the tag listed on the command line git fetch ggg tag pr-590/phil-blain/doc-log-multiple-ranges-v2 --no-tags

Am I reading the documentation correctly ?

tag <tag> syntax [1]: "tag <tag> means the same as refs/tags/<tag>:refs/tags/<tag>; it requests fetching everything up to the given tag."

--no-tags [2] : "By default, tags that point at objects that are downloaded from the remote repository are fetched and stored locally. This option disables this automatic tag following."

Clearly the commits at the tips of the multiple iterations of all series ever submitted using Gitgitgadget should not be downloaded when I'm just fetching a version of my own submission, so I don't understand why these objects are fetched and why those local tags are created...

[1] https://git-scm.com/docs/git-fetch#Documentation/git-fetch.txt-ltrefspecgt [2] https://git-scm.com/docs/git-fetch#Documentation/git-fetch.txt---no-tags

Cheers,

Philippe.