Code

git-tag -d: allow deleting multiple tags at once.