diff options
| author | Christian Couder <chriscool@tuxfamily.org> | 2006-10-01 22:16:22 +0200 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-10-01 15:17:43 -0700 |
| commit | d3d0013c59ed840520b86a65697137cb2c62819c (patch) | |
| tree | 896826554f94ff139d022d1164f859b84abf0b38 | |
| parent | 26a063a10bca57f65d8fed6c4550a70d44a70b81 (diff) | |
| download | git-d3d0013c59ed840520b86a65697137cb2c62819c.tar.gz | |
Use git-update-ref to delete a tag instead of rm()ing the ref file.
Signed-off-by: Christian Couder <chriscool@tuxfamily.org>
Signed-off-by: Junio C Hamano <junkio@cox.net>
| -rwxr-xr-x | git-tag.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/git-tag.sh b/git-tag.sh index 2bde3c05fc..6463b314c6 100755 --- a/git-tag.sh +++ b/git-tag.sh @@ -47,8 +47,10 @@ do -d) shift tag_name="$1" - rm "$GIT_DIR/refs/tags/$tag_name" && \ - echo "Deleted tag $tag_name." + tag=$(git-show-ref --verify --hash -- "refs/tags/$tag_name") || + die "Seriously, what tag are you talking about?" + git-update-ref -m 'tag: delete' -d "refs/tags/$tag_name" "$tag" && + echo "Deleted tag $tag_name." exit $? ;; -*) |