Rename git tag from old to new. Local and upstream

gistfile1.txt

# Simple script to remove the pre-pended 'v' from current git repo and push this upstream.

for old_tag in $(git tag)
do
    # remove v from tag
    new_tag=$(echo "${old_tag//v}")

    # If the tags don't match then do our rename
    if [ "$old_tag" != "$new_tag" ]
    then
      echo 'Tags dont match, removing pre-pended v'
      echo "$old_tag $new_tag"
      # Copy tag
      git tag $new_tag $old_tag
      # Push new tag
      git push --tags
      # Delete old from local and remote
      git tag -d $old_tag
      git push origin :refs/tags/$old_tag
    fi
done