title: Received a pull-request from someone else, how to edit it before merging directly on github?
body: <p>(For reference, here is a command line <code>git</code> solution <a href="https://stackoverflow.com/questions/27355333/how-to-handle-review-a-pull-request-modify-code-and-merge">How to handle review a pull-request, modify code, and merge?</a>)</p>
  <p>Here I'm looking for a 100% in-browser solution directly in the Github interface.</p>
  <ul>
  <li>I have a repo <code>foobar</code></li>
  <li>I receive a pull request from user <code>bob</code></li>
  <li>I would like to make a few tiny edits on his modifications, and merge this PR</li>
  </ul>
  <p><strong>How to do this 100% from the Github interface, without having to open a command-line and do <code>git ...</code> operations?</strong></p>
  <p>Note: I don't want to merge <code>bob</code>'s as it is, and do modifications later in a further commit. I would like to edit his PR before merging it to my project.</p>