[GIT] Delete tag both locally and on remote

# Delete local tag 'v1.0.0'
git tag -d v1.0.0
# Delete remote tag 'v1.0.0' (eg, GitHub version too)
git push origin :refs/tags/v1.0.0

# Alternative approach
git push --delete origin v1.0.0
git tag -d v1.0.0