How do I merge a branch to origin/master

Question

Given the state of my repo below. Let's say I'm not ready to push my changes in my master branch but I am ready to push my changes in my dev branch to origin/master. How do I perform this?

* dcf6713 (master) added line 2 to file2.txt
| * ceee7ec (HEAD -> dev) added line 3 to file1.txt
|/  
* c79818c (origin/master) added line 2 to file1.txt
* 4b11fc7 init

Answer 1

from man git-push:

git push origin HEAD:master

Push the current branch to the remote ref matching master in the origin repository. This form is convenient to push the current branch without thinking about its local name.