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/<username>/<project_name>/pull/<patch_number>.patch sensible-editor <patchfile> git am <patchfile> git push origin master