ローカルレポにdevelopというブランチがあり、それをoriginにプッシュしたときにorigin/masterにマージされるようにしたいと思っています。現在は、プッシュするとリモートのdevelopブランチに追加されます。
どのようにすればよいでしょうか?
コメントにもあるように、おそらくそれはしたくないと思いますが...。 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