Add commits to a pull request
■ Clone your repo
■ Add their repo as a remote
■ Checkout to their branch that has changes
■ Add changes and commit
■ Push to their repo
I once had to add some changes to a pull request before merging it. I can of course ask the person who sent the PR to do this. But it is easier and faster if those changes are pretty easy.
I found a couple of methods after a bit of googling and found one that worked for me. Writing that down here so that I don't have to go through all those trial and error again.
Clone your repo
git clone https://github.com/yourname/yourrepo
Add their repo as a remote
git remote add theirname https://github.com/theirname/theirrepo
Checkout to their branch that has changes
git checkout theirname theirbranch
Add changes and commit
git add . git commit -m "my changes"
Push to their repo
git push theirname HEAD:theirrepo
Done. Check the PR. It should be updated magically.
If you are wondering how you are able to push to their repo, by default when you send a PR, it gives maintainer permission to push to that branch.