Git: Force pushing

Never run git push --force. Instead run git push --force-with-lease or alias it to git please.

Never run git push --force to avoid overwriting commits pushed by others. Instead run:

git push --force-with-lease

Or if using my git aliases:

git please

Please = force push with lease. So polite!