Force push with lease

[andreasbrinch]

It would be very helpful if force pushes were done with lease. I am wary to go all in on gitfourchette as I'm worried I'll mess up a force push which I use frequently. I come from windows/git fork where it is the default.

It seems libgit2 doesn't support it directly but that it can be achieved by comparing local version of remote OID and remote OID.

libgit2/libgit2#4286

[jorio]

This would be great to have. To implement this correctly, I need a feature in libgit2 that's currently missing from the Python bindings. If pygit2 accepts my PR, I'll be able to add this to GitFourchette (libgit2/pygit2#1396).

[jorio]

Implemented in GitFourchette v1.5.0. Thank you for the suggestion!

Since v1.5.0, remote operations are performed with vanilla git for better integration with OpenSSH. So, force-pushing now simply uses git push --force-with-lease.

The Push Dialog also shows you a preview of the push command: