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.
However, the meaning of the command is not clear to me. Why does it have this effect?
I haven't been able to find an answer (this question seems to treat the problem, but the title is misleading).