#/bin/sh git add .; git commit --amend --no-edit; git push --force; git tag -d v1; git tag v1; git push --force origin v1;