diff options
author | Kai Ruemmler <kai.ruemmler@gmx.net> | 2005-11-08 11:44:33 +0100 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2005-11-08 11:26:10 -0800 |
commit | 61f81518a2372dd78fa03da2b3d62173c3268ee7 (patch) | |
tree | f852fe1c0dc5fee6b7e21cbb2d9805b754c16e6e /git-tag.sh | |
parent | 23fc63bf8fb7c3627f78ca6743b4f3ae17a5df49 (diff) | |
download | git-61f81518a2372dd78fa03da2b3d62173c3268ee7.tar.gz |
git-tag -d <tag>: delete tag <tag>
This adds option '-d' to git-tag.sh and documents it.
Signed-off-by: Kai Ruemmler <kai.ruemmler@gmx.net>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-tag.sh')
-rwxr-xr-x | git-tag.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/git-tag.sh b/git-tag.sh index 6130904a94..1375945307 100755 --- a/git-tag.sh +++ b/git-tag.sh @@ -4,7 +4,7 @@ . git-sh-setup || die "Not a git archive" usage () { - echo >&2 "Usage: git-tag [-a | -s | -u <key-id>] [-f] [-m <msg>] <tagname> [<head>]" + echo >&2 "Usage: git-tag [-a | -s | -u <key-id>] [-f | -d] [-m <msg>] <tagname> [<head>]" exit 1 } @@ -37,6 +37,13 @@ do shift username="$1" ;; + -d) + shift + tag_name="$1" + rm "$GIT_DIR/refs/tags/$tag_name" && \ + echo "Deleted tag $tag_name." + exit $? + ;; -*) usage ;; |