title: How to modify someone else's Github pull request?
body: <p>Someone created a pull request on my Github repo. It mostly looks good, but I had to make a few minor changes to get it to pass my continuous integration server.</p>
  
  <p>Github's on-screen instructions to "review" the request were to run:</p>
  
  <pre><code>git checkout -b otheruser-fix_somebug
  git pull https://github.com/otheruser/myrepo.git fix_somebug
  </code></pre>
  
  <p>I then made my changes, and committed locally. However, when I went to run <code>git push</code>, git informed me:</p>
  
  <pre><code>fatal: The current branch otheruser-fix_somebug has no upstream branch.
  To push the current branch and set the remote as upstream, use
  
      git push --set-upstream origin otheruser-fix_somebug
  </code></pre>
  
  <p>which I did, but my changes are not showing under the pull request, but instead under a copy of the branch <code>otheruser-fix_somebug</code> mirrored on my Github repo and unconnected to the pull request.</p>
  
  <p>How should I have called <code>git push</code> to get the changes to appear on the pull request?</p>