Abhijit Hiremagalur's blog



Interesting Things

Help

"How do you permanently remove a git tag?"

  • One team would like a delete a tag created by their CI, but it keeps coming back if somebody who has pulled the tag locally does a push.