I had a tag v1.0.0-RC1 in my Github repo. I wanted to rename it to all lowercase like v1.0.0-rc1. So, I did it from the release edit page https://github.com/username/repo/releases/edit/v1.0.0-RC1. I found that it created a new tag v1.0.0-rc1 and it made me having two duplicate tags v1.0.0-RC1 and v1.0.0-rc1 in my repo.
The following is how my Github tags page is showing the latest 5 tags. The latest tag is v1.1.0-rc. The second v1.1.0-rc1 is my mistaken tag. The last tag is the one I wanted to rename.
v1.1.0-rc … 84da1ca zip tar.gz Notes Downloads v1.0.0-rc1 … Merge branch 'minor' 2823515 zip tar.gz v1.1.0-beta … 94d9821 zip tar.gz Notes Downloads v1.0.0 … 0c052f5 zip tar.gz Notes Downloads v1.0.0-RC1 … 1955b7a zip tar.gz Notes Downloads
Here is the result of
$ git fetch --all Fetching origin From https://github.com/username/repo * [new tag] v1.0.0-rc1 -> v1.0.0-rc1 * [new tag] v1.1.0-rc -> v1.1.0-rc From https://github.com/username/repo * [new tag] v1.0.0-RC1 -> v1.0.0-RC1
I want to delete v1.0.0-rc1. I know how to delete a remote tag.
git tag -d v1.0.0-rc1 git push origin :refs/tags/v1.0.0-rc1
But I'm afraid that it could delete the both tag rc1 and RC1. How can I achieve this safely? I'm using Git for Windows and it's likely to be case-insensitive.