What does git push origin HEAD mean?

Question

I found, in the official guide:

git push origin HEAD

A handy way to push the current branch to the same name on the remote.

Answer 1

If you want to push into the specific remote branch you can run:

git push origin HEAD:

This is what I encounter when I was trying to push my repo back to the remote branch.