Support git push --force-with-lease option

By xzar.vhanto... on April 16, 2014 05:24 (imported from Google Code)

---

To be able to safely use the rebase command for remote commits, it is preferable to use the --force-with-lease option of the push command instead of --force so to not overwrite any remote commits done after the last fetch execution.

I recommend to replace the existing checkbox with the new behavior as this is the common case but an additional checkbox would also be okay as we sometimes need a plain old force too.

This option was introduced with git 1.8.5.

Please see for information:
http://man7.org/linux/man-pages/man1/git-push.1.html

Best regards
Uwe