Tags

Remove a tag

git push --delete origin 1.4.2; git tag -d 1.4.2

Add a tag

git tag 1.4.2;git push origin master --tags