How do I push to a pull request on github?

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

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

Which allows me to pull down pull request diffs, but when I check it out it actually creates a branch with that same name. Is there any way for me to push to pr/2 and have it actually go to the pull request instead of going to a new branch named pr/2?

  • How to configure Travis-CI to build pull requests & merges to master w/o redundancy
  • Squashing Commits to a single commit for a bitbucket pull request
  • How do you merge and close a pull request that has a conflict?
  • Automatically add remotes that do not exist based on a pattern
  • how to force git pull when resolving pull request conflict
  • HTTP 403 on GitHub pull request
  • How to locally test a pull request from gitlab?
  • Why is there a delay between a pull request and the possibility to fetch it (in stash)?
  • 4 Solutions collect form web for “How do I push to a pull request on github?”

    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.


    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.

    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 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 ospr-image-rendering:image-rendering

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

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

    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.

    See the github command line wrapper for easier github interaction from command line:

    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.

    Git Baby is a git and github fan, let's start git clone.