Re: Git pull doesn't get the tags

From: Junio C Hamano <gitster@pobox.com>
Date: Oct 22, 2010, 21:33 UTC
Message-ID: <7vhbgdlxof.fsf@alter.siamese.dyndns.org>
In-Reply-To: <4CC153A0.7080605@debugon.org>

Mathias Lafeldt <misfire@debugon.org> writes:

Show 12 quoted lines

> 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.