Force push safely

Fails instead of overwriting someone else's new commits.

git push --force-with-lease