When it comes to “git push” why is the dangerous option (“-f”) so convenient and the safer option (“—force-with-lease”) so much more inconvenient?
Surely a better design would be for force to acquire the lease by default and to push without one should require “—force-without-lease”