Archives
How to rename a tag already pushed to a remote git repository
Sometimes when you work on a repository that isn’t managed by one person, the tagging becomes a mess. Here’s a way to clean it up. Rename the tag locally: git…