Rename a Git tag. Part of `git-extras`.
Rename an existing Git tag locally and remotely
git rename-tag old_tag_name new_tag_name