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

# To set upstream tracking information in the local branch,
# if you haven't already pushed to the origin.
git push -u origin HEAD