ローカルのGitブランチをリモートのmasterブランチにプッシュするにはどうすればいいですか?

ローカルレポにdevelopというブランチがあり、それをoriginにプッシュしたときにorigin/masterにマージされるようにしたいと思っています。現在は、プッシュするとリモートのdevelopブランチに追加されます。

どのようにすればよいでしょうか?

ソリューション
$ git push origin develop:master

または、より一般的には

$ git push  :
解説 (5)

コメントにもあるように、おそらくそれはしたくないと思いますが...。 mipadiさんの回答は、自分が何をしているのか分かっていれば、絶対に正しいです。

と言いたいところですが

git checkout master
git pull               # to update the state to the latest remote master state
git merge develop      # to bring changes to local master from your develop branch
git push origin master # push current HEAD to remote master branch

 

解説 (5)

Eugeneさんの回答の拡張として、ローカルリポジトリからmaster/developブランチにコードをプッシュするための別のバージョンを用意しました。

ブランチ「master」に切り替えます。

$ git checkout master

ローカルレポから master にマージします。

$ git merge --no-ff FEATURE/

マスターにプッシュします。

$ git push
解説 (0)