Say someone submits a PR to public/master on Github. It's 99% OK but for the remaining 1%, I don't want to go back and forth with the PR-review and he-fix and I-review-again cycles, and want to go straightforward and fix them myself.

Is there a way to do further work on github PR myself, i.e., my changes show up in his PR before merging it?

• The

  CodePudding user response：

  You can do a git pull command to manually pull the changes of the PR into your current branch, whether it is the main branch or a development branch. Just look below the pull request on GitHub and click the little link that says "command line instructions". You can ignore most of the instructions and just look for the one line that starts with git pull.

  Then make whatever commits you want and push your changes to wherever is appropriate.

  CodePudding user response：

  You can simply add more commits to the same branch and push them. GitHub Pull Request will be automatically updated with those changes.

  Pull Request is a GitHub-only concept, so you can't "checkout" it locally, only work on the corresponding branch.