How do I push to a pull request on github?

Question

I\'ve added this to my .git/config file:

fetch = +refs/pull/*/head:refs/remotes/origin/pr/*

Which allows me to pull down pull

Answer 1

A Pull Request is just a request to merge a certain branch. This means commits made to the branch after the pull request is opened will be included in the eventual merge.

If you have access to the branch that the pull request is asking to merge, you can commit to that branch and the pull request will update with the changes.

Example:

pull/3 is requesting to merge hotfix into master

git fetch
git checkout hotfix
git pull origin hotfix

make changes

git add .
git commit -m "changes!"
git push origin hotfix

Now your commit will show up in the pull request.