Add commits to a pull request

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.