Here\'s the scenario:
I have a public repo A. Bob forks A, adds a few commits to Bob/master and submits a pul
There are a number of workflows you can use here. Some examples are:
Comment on the pull request, and have Bob make some changes. See Pull Request Discussion for more info.
Merge the pull request onto a different branch, then make your changes before merging to master. You need to do this from the command line; see Merging a Pull Request for step-by-step instructions.
Edit the patch before applying it with git am. See Patch and Apply. This is probably the most flexible option, but also the most manual.
git checkout master
curl http://github.com///pull/.patch
sensible-editor
git am
git push origin master