Remove tags

---

Locally:

git tag -d TAGNAME

Remotely:

git push --delete origin TAGNAME