Just as a kind of mini cheat sheet for using git tags:
Adding a tag:
git tag tag_name
git tag
Should show your new tag.git push origin --tags
orgit push origin :tag_name
Becausegit push
doesn't push tags.
Removing a tag:
git tag -d tag_name
git tag
Should no longer show your tag.git push origin :refs/tags/tag_name
Becausegit push --tags
doesn't push deleted tags.
Hope that helps.