How do I push to a pull request on github?
git, github, pull-request
Solution
Here are GitHub's "Merging via command line" instructions for pull requests (I am fulldecent, the other guy is ospr):
Step 1: From your project repository, check out a new branch and test the changes.
git checkout -b ospr-image-rendering master
git pull https://github.com/ospr/FDWaveformView.git ospr-image-rendering
Step 2: Merge the changes and update on GitHub.
git checkout master
git merge --no-ff ospr-image-rendering
git push origin master
Here is the additional step that sends your changes back upstream(?) to the PR originator.
git push https://github.com/ospr/FDWaveformView.git ospr-image-rendering:image-rendering
Problem
I've added this to my `.git/config` file: ``` fetch = +refs/pull/*/head:refs/remotes/origin/pr/* ``` 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 `pr/2` and have it actually go to the pull request instead of going to a new branch named `pr/2`?