Adding commits to another person's pull request on GitHub

Question

My project on GitHub has received a pull request. The pull request only partly fixes the issue that it\'s addressing. I\'ve pulled in the changes to a local branch and added som

Answer 1

I use the new gh cli tool.

gh pr checkout PR_NUMBER

Then make your changes and as long as you have access to push to their fork (which from my experience is usually the case if you own the primary repo). With using the gh tool, it will basically copy their branch's name so you can do.

git push git@github.com:other_user/repo branch:branch