[git] How do you rename a Git tag?