Use git-update-ref to delete a tag instead of rm()ing the ref file.