title: How do I push a local Git branch to master branch in the remote?
body: <p>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 a remote develop branch. </p>
  
  <p>How can I do this?</p>