Bulk rename Git Tags

rename_tags.sh

#!/bin/sh
for tag in `git tag`; do
	newTag="v$tag"
	echo "$tag -> $newTag" 
	git tag $newTag $tag # Create the new tag where the older pointed
	git tag -d "$tag" # Delete the old tag
	git push origin ":refs/tags/$tag" # Delete the old tag from the remote
done
git push --tags # Push all the new tags