Adding/Deleting tags on Git

I didn’t find out how to do this so easily, especially the deletion part, so I hope it’s of use to some of you 🙂

To add a tag:
git tag -a v1.0 - m "Stable release 1.0"
git push --tags

To delete a tag:
git tag -d v1.0
git push origin :v1.0