I had to delete a git tag locally and on the remote repo. The first part was easy enough, but had to dig around for the latter.
Locally:
git tag -d v0.1.1
Remote:
git push origin :refs/tags/v0.1.1
That's it.
I had to delete a git tag locally and on the remote repo. The first part was easy enough, but had to dig around for the latter.
Locally:
git tag -d v0.1.1
Remote:
git push origin :refs/tags/v0.1.1
That's it.