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 <redacted> Suggested-by: Jari Aalto <redacted> Helped-by: Björn Steinbrink <redacted> Helped-by: Jeff King <redacted> Helped-by: Zoltán Füzesi <redacted> Signed-off-by: Junio C Hamano <redacted>