Git delete tag
@See: How to: Delete a remote Git tag
# Assuming the tag to delete is "1.3.5-rc1"
git tag -d 1.3.5-rc1
git push origin :refs/tags/1.3.5-rc1# Assuming the tag to delete is "1.3.5-rc1"
git tag -d 1.3.5-rc1
git push origin :refs/tags/1.3.5-rc1