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.

Answer 2

The GitHub Desktop client will create another pull request (PR) that includes the original PR and your changes if you try to merge changes to a PR you checked out.

I did this off of my master branch but presumably you could make another branch and then create a pull request to the pull request. It's all magical to me though with these fancy Git GUIs.

Answer 3

Here's are GitHub's "Merging via command line" instructions for pull requests (I am fulldecent, the other guy is ospr):

Step 1: From your project repository, check out a new branch and test the changes.

git checkout -b ospr-image-rendering master
git pull https://github.com/ospr/FDWaveformView.git image-rendering

Step 2: Merge the changes and update on GitHub.

git checkout master
git merge --no-ff ospr-image-rendering
git push origin master

---

Here is the additional step that sends your changes back upstream(?) to the PR originator.

git push https://github.com/ospr/FDWaveformView.git ospr-image-rendering:image-rendering

Answer 4

Good question. But I would be surprised if you could:

$ cat .git/refs/pull/upstream/839 
f8a9f492098e154b4a8258a941af47c9ca017ada

Even if you can somehow change that reference to what you like, github has other metadata that you can't easily change. So better push to the branch pull was created from.

$ git push git@github.com:owner/repo.git HEAD:target-branch

See the github command line wrapper for easier github interaction from command line: https://hub.github.com/

Update: You can push to an existing pull request if you push to the fork/branch that PR is based on. It is often possible depending on repo settings.

git push git@github.com:username/repo-name.git localbranchname:remotebranchname

or if you have the fork added as a remote in your local repo, then:

git push remotename localbranchname:remotebranchname