I often use git push --force-with-lease; it does exactly what I need. Is there a short form of the flag, like -f is for --force? If not, I would like to propose -l be added as one. I don't believe git push has an -l flag currently, and l is of course the first letter of lease.