Git - more on Git Tags -

The following steps outlines the Git Tag delete process both locally and remotely.

1.  Fetch all the tags from
   git fetch --tags
2. Delete the tag locally
   git tag -d yourTagToDelete  (eg: git tag -d v1.15.0)
3. Delete the tag in Remote
   git push origin :yourTagToDelete (eg git push origin :v1.15.0)
4. Create a new  tag locally
   git tag yourNewTag  (eg: git tag v1.15.0)
5. Push tag to Remote
   git push origin yourTagToDelete (eg git push origin v1.15.0)