Force not to use `git push -f` but `--force-with-lease`

git-push

#!/bin/bash -eu

argv="$(sed -E 's/(^| )-f\b/\1--force-with-lease/g' <<<$@)"
exec git push ${argv}

Pro Tips™

• By default, you cannot define the same aliases as git builtins. Use something like this to cope with it.
• This overrides -f but not --force; This method is provided by design as an explicit loophole.
• Also recommended setting git config --global push.useForceIfIncludes true for your safety¹.
  • This is true even if you rarely or never use force push since push.useForceIfIncludes true/--force-if-includes does nothing without --force-with-lease. (It's just an ancillary option)

Acknowledgments

This gist is inspired by @onk's blog entry. Thanks a lot!

Footnotes

1. Your safety is not that much of my priority, though ↩