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
