Add alias for git push --force-with-lease