[解決済み] ローカルのGitブランチをリモートのmasterブランチにプッシュするにはどうすればよいですか？

質問

ローカルリポジトリにdevelopというブランチがあり、それをオリジンにプッシュすると、オリジン/マスターにマージされるようにしたいのです。現在、プッシュすると、リモートのdevelopブランチに追加されます。

どうすればいいのでしょうか？

どのように解決するのですか？

$ git push origin develop:master

または、より一般的に

$ git push <remote> <local branch name>:<remote branch to push into>