That said, if mistyping ‘git push’ is a common occurrence, why not just define an alias?
git config --global help.autocorrect 1
so it's not just me then? I feel better now, thanks :)