Rename a given tag with name `old` to `new`

rename-tag.sh

#!/bin/bash
# $1 tag-name to rename
# $2 new tag name

git-tag-rename() {
    git tag $2 $1
    git tag -d $1
    git push origin :refs/tags/${1}
    git push --tags
}