Git Tip: Delete Remote Tags

Filter and delete local and remote tags. In the following example, I want to delete all tags starting by alpha-:

git tag | grep ^alpha- | xargs git tag -d
git tag | grep ^alpha- | xargs -I % git push origin :refs/tags/%