On Fri, Jun 1, 2012 at 12:00 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote:
>
> 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.
Ack.
Linus
--
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