I’m even polite to Git.
git config --list | grep alias.please
alias.please=push --force-with-lease
e0bfa42
git config --list | grep alias.please
alias.please=push --force-with-lease