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 [email protected]:owner/repo.git HEAD:target-branch
See the github command line wrapper for easier github interaction from command line:
https://hub.github.com/
In summary: 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 [email protected]: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