Git: push --force-with-lease