Some contributor submitted a pull request to a repository I own. While reviewing the pull request, I notice some minor issues that I would like to correct on the spot, since it is quicker for me to correct them myself than to ask the contributor to do it. What I did is:

• Cloned the PR to my computer using GitHub command line interface (gh pr checkout 1).
• Made the edits on my computer.
• Commited and pushed the changes.

However, the changes were pushed to a new branch, that lead to opening a new PR. This is not what I wanted; I wanted to modify the original PR.

• Is it possible?
• What is the “correct” way to handle this situation, when PRs contain minor typos that are easier to correct on spot?