It’s less typing but technically it’s one more request to the server which you have to wait for to fail before the correct request can be fucked, so it might be faster to do it the correct way from the get-go. Especially if you’ve done it before and you can just Ctrl+R and find it in the history, or you have a git alias (e.g. git phead)

You can also type git push origin HEAD and it also does that