I removed some tags by doing:
git tag -d TAGNAMEgit push origin :refs/tags/TAGNAME
After that, I asked all team members to run:
git tag -d $(git tag) - remove all local tagsgit fetch --tags - to retrieve the current tags from a remote device.
The problem is that from time to time I see old tags again. I suspect that someone still has some old tags and they didn’t delete them or pull them out before I deleted them or so.
Is there a way to completely remove the tag?
For example, to make a commit that removes old tags, and therefore, before users can click, they will have to pull out this message and thus change their tags. Is it possible?
source share