rename_git_tag.sh

set -e
set -u

# https://stackoverflow.com/questions/1028649/how-do-you-rename-a-git-tag
# old_name new_name
rename_git_tag()
{
    local readonly old=$1
    local readonly new=$2

    git tag $new $old
    git tag -d $old
}

push_git_tag_to_origin()
{
    local readonly old=$1

    git push origin :refs/tags/$old
    git push --tags
}

rename_git_tag "oldtagname" "feature/newtagname"
push_git_tag_to_origin "oldtagname"