git push --delete origin tagname
Local:
git tag -d <tag_name>
Remote:
git push --delete origin tagname
# Add tags
git tag tagName
# Push tags
git push --follow-tags
# Delete locally
git tag -d tagName
# Delete remote tag:
git tag -d tagName
git push origin :tagName
# First pull all remote tags locally
git pull --tags
# Then remove tags from remote first
git tag | grep -v v0.1.[0-9] | xargs -n 1 git push --delete origin
# Then remove locally
git tag | grep -v v0.1.[0-9] | xargs git tag -d
# If removing multiple, use grep to control what will be removed
# These commands make use of xargs which is a unix command.
# On windows, use git-bash to execute the same commands
git tag -d v<tag version>
git tag -d <tag_name>
// Local
$ git tag -d v1.0
Deleted tag 'v1.0' (was 808b598)
// Remote
git push --delete origin tagname
git tag -d tagName
git diff -- . ':(exclude)db/irrelevant.php' ':(exclude)db/irrelevant2.php'