git add -A
git commit --amend --no-edit
git tag -d v0.13.3
git tag v0.13.3
git push --force
git push --tags --force