commit | 0a043b1fe5615a1182aceda29da65faebaf6e970 | [log] [tgz] |
---|---|---|
author | Michael J Gruber <git@drmicha.warpmail.net> | Thu Dec 10 15:01:10 2009 +0100 |
committer | Junio C Hamano <gitster@pobox.com> | Thu Dec 10 18:45:34 2009 -0800 |
tree | aa512c33e887b7757d21880db321a8ca242f0234 | |
parent | 80d93611c55fec171e0d9aba98db079952f9d7aa [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>