title: How do I push to a pull request on github?
body: <p>I've added this to my <code>.git/config</code> file:</p>
  
  <pre><code>fetch = +refs/pull/*/head:refs/remotes/origin/pr/*
  </code></pre>
  
  <p>Which allows me to pull down pull request diffs, but when I check it out it actually creates a branch with that same name. Is there any way for me to push to <code>pr/2</code> and have it actually go to the pull request instead of going to a new branch named <code>pr/2</code>?</p>