The blog has moved to http://jessehouse.com/ ... Many google searches point here so I am leaving it operational, but there will be no new posts.

Wednesday, October 31, 2012

Helper script to delete git tags locally and remote

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



Resources

1 comment:

Unknown said...

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