Batch rename all tags inside a Git repo

rename_tags.sh

git tag -l | while read old_t; do
    new_t="${old_t//v/}"
    new_t="${new_t//-alpha/}"
    echo $new_t
    git tag $new_t $old_t
    git push --tags  
    git tag -d $old_t
    git push origin :refs/tags/$old_t
done