Commit on Pull Request of Remote Fork

Question

Someone recently forked a repository I am an owner of, created a feature branch, pushed several commits, and created a pull request to merge his forked branch into master — a typical git workflow.

Is there a way that I can commit on his PR feature branch? I like the PR he created, but I want to make a few changes before I merge it into master.

This seems like an elementary question, but I can't find the documentation for this anywhere.

Thanks!

Answer 1

One option is to perform the merge locally, rather than via the GitHub web ui.

Follow these instructions to check out the pull request locally, and then you can git merge it into any branch you want.