house9

random code and what not

Helper script to delete git tags locally and remote

Might be useful to others, delete a bunch of git tags - remote and locally



Resources

Comments

Arnaud Frugier
git tag -l | grep "^\d" | sed 's/^/git push origin :/' | sh
git tag -l | grep "^\d" | sed 's/^/git tag -d /' | sh