Proposalö git push -F

Hi there,

Thanks for everything you do, git is really an awesome tool and I
enjoy using it!

I have discovered some months ago that it is more safe to force a push with
git push --force-with-lease

But since then I keep wondering: why is this not the default? Maybe we
should have --force (which would be with lease) and
--force-without-lease? That would be more logical for unaware users...
However, I would completely understand your reticence to change this.
I just want to propose to change the shortcuts:

* "git push --force" shortcut would become "git push -F"
* "git push --force-with-lease" would use the shortcut "git push -f"

This is just an idea of mine, I wanted to share it with you. Feel free
to use it or not...

Cheers :-)
XonqNopp