When you want to push from a local branch to a remote branch that is the same name

When the local changes are pushed to the remote branch,

git push origin <current-branch-name>

It can be done with;

git push origin HEAD

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

Ref: https://git-scm.com/docs/git-push