git eliminar etiqueta local
git tag -d <tag>
Aggressive Ant
git tag -d <tag>Local:
git tag -d <tag_name>
Remote:
git push --delete 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 commandsgit tag -d v<tag version>git tag -d <tag_name>git diff -- . ':(exclude)db/irrelevant.php' ':(exclude)db/irrelevant2.php'