Quick Tip 🔥 : Deleting a Git tag

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.