The blog has moved to ... 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


1 comment:

Arnaud Frugier said...

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