rename git tags

git-tag-rename.sh

# tag a specific commit
git tag v1.7.1 4e13624

# rename a tag
old="1.7.1"
new="v1.7.1"
echo "$old -> $new"
git tag $new $old
git tag -d $old # delete the old tag locally
git push origin :refs/tags/$old # delete the old tag on remote

# update remote with new tags
git push --tags