equinusocio · January 8, 2018 16:55
diff --git a/purge_git_tags.sh b/purge_git_tags.sh
 # To delete remote tags (before deleting local tags)
 git tag -l | xargs -n 1 git push --delete origin

 # Delete the local copies
 git tag | xargs git tag -d
	# To delete remote tags (before deleting local tags)
	git tag -l \| xargs -n 1 git push --delete origin

	# Delete the local copies
	git tag \| xargs git tag -d