From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 01 Jun 2012 19:00:57 GMT
Subject: Re: GIT PULL] ext4 updates for 3.5
Message-ID: <7v4nqu3lhy.fsf@alter.siamese.dyndns.org>
In-Reply-To: <7v8vg63lri.fsf@alter.siamese.dyndns.org>

Junio C Hamano <gitster@pobox.com> writes:

> +# $head is the token given from the command line, and $tag_name, if
> +# exists, is the tag we are going to show the commit information for.
> +# If that tag exists at the remote and it points at the commit, use it.
> +# Otherwise, if a branch with the same name as $head exists at the remote
> +# and their values match, use that instead.
> +#
> +# Otherwise find a random ref that matches $headrev.

It may also be a good idea to add something like:

	if test -n "$tag_name" && test "tags/$tag_name" != "$ref"
        then
		echo "warning: have you really pushed the tag yet???"
	fi

somewhere near we show "cat-file tag $tag_name" information in the
output.