Github: Push additional commit to pull request

command-line, git, github, pull-request

Solution

git push origin master:x4e925e4

If you want to push from another branch, just change the "master" bit.

Once the pull request is done, if this branch is not automatically deleted, you can delete it with:

git push origin :x4e925e4

Problem

I made a pull request, but now I need to push an additional commit to this pull request. Github says that: You can add more commits to this pull request by pushing to the x4e925e4 branch on myaccount/repo. How do I achieve this via the command line?

Original source