Fixed issue #2167: Support git push --force-with-lease option