How can you add commits to a github pull request of another person to your repo if you can't commit to their branch?

Question

Here\'s the scenario:

I have a public repo A. Bob forks A, adds a few commits to Bob/master and submits a pul

Answer 1

You can just pull from his branch on your local repo (not inside the github gui)

# make same work-in-progress branch and check it out
$ git checkout -b WIP

# pull his changes into WIP
$ git pull https://github.com/... master

and then mercilessly change from there on.

The other option would be to use github's comment system to talk him into changing his patchset (that way he could also keep the credit after the merge).