git push origin HEAD avoids you to type branch name. but you still have to type the remote.
git push origin HEAD