author | Michael J Gruber <git@drmicha.warpmail.net> | |
Thu, 10 Dec 2009 14:01:10 +0000 (15:01 +0100) | ||
committer | Junio C Hamano <gitster@pobox.com> | |
Fri, 11 Dec 2009 02:45:34 +0000 (18:45 -0800) | ||
commit | 0a043b1fe5615a1182aceda29da65faebaf6e970 | |
tree | aa512c33e887b7757d21880db321a8ca242f0234 | tree | snapshot |
parent | 80d93611c55fec171e0d9aba98db079952f9d7aa | commit | diff |
tag -d: print sha1 of deleted tag
Print the sha1 of the deleted tag (in addition to the tag name) so that
one can easily recreate a mistakenly deleted tag:
git tag -d tagname
Deleted tag 'tagname' (was DEADBEEF)
git tag 'tagname' DEADBEEF
We output the previous ref also in the case of forcefully overwriting
tags.
Signed-off-by: Michael J Gruber <git@drmicha.warpmail.net>
Suggested-by: Jari Aalto <jari.aalto@cante.net>
Helped-by: Björn Steinbrink <B.Steinbrink@gmx.de>
Helped-by: Jeff King <peff@peff.net>
Helped-by: Zoltán Füzesi <zfuzesi@eaglet.hu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Print the sha1 of the deleted tag (in addition to the tag name) so that
one can easily recreate a mistakenly deleted tag:
git tag -d tagname
Deleted tag 'tagname' (was DEADBEEF)
git tag 'tagname' DEADBEEF
We output the previous ref also in the case of forcefully overwriting
tags.
Signed-off-by: Michael J Gruber <git@drmicha.warpmail.net>
Suggested-by: Jari Aalto <jari.aalto@cante.net>
Helped-by: Björn Steinbrink <B.Steinbrink@gmx.de>
Helped-by: Jeff King <peff@peff.net>
Helped-by: Zoltán Füzesi <zfuzesi@eaglet.hu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
builtin-tag.c | diff | blob | history |