// Local $ git tag -d v1.0 Deleted tag 'v1.0' (was 808b598) // Remote git push --delete origin tagname