How do I push a local Git branch to master branch in the remote?

Question

I have a branch called develop in my local repo, and I want to make sure that when I push it to origin it\'s merged with the origin/master. Currently, when I push it\'s added to

Answer 1

$ git push origin develop:master

or, more generally

$ git push  :