Re: Git pull doesn't get the tags

Mathias Lafeldt [off-list ref] writes:

Try git pull --tags.

From git-pull's manpage:

-t
--tags
        Most of the tags are fetched automatically as branch
        heads are downloaded, but tags that do not point at
        objects reachable from the branch heads that are being
        tracked will not be fetched by this mechanism.  This
        flag lets all tags and their associated objects be
        downloaded. [...]

Can somebody submit a patch to stop this part of "fetch-options.txt" from
getting included in "git pull" manpage please, by the way?

This is one of the options that are passed to the underlying "git fetch"
without sanitizing by "git pull".  "Fetch all tags and merge them" does
not make any sense as a request at the logical level, even though it might
be more convenient to type.

I do not recall offhand if we made sure the stuff fetched with --tags
request are marked as not-for-merge, and if we didn't that is certainly a
bug.