We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
git push --delete origin 1.4.2; git tag -d 1.4.2
git tag 1.4.2;git push origin master --tags