Junio C Hamano <gitster@xxxxxxxxx> 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.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html