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