Someone created a pull request on my Github repo. It mostly looks good, but I had to make a few minor changes to get it to pass my continuous integration server.
Github's on-screen instructions to "review" the request were to run:
git checkout -b otheruser-fix_somebug
git pull https://github.com/otheruser/myrepo.git fix_somebug
I then made my changes, and committed locally. However, when I went to run git push, git informed me:
fatal: The current branch otheruser-fix_somebug has no upstream branch.
To push the current branch and set the remote as upstream, use
git push --set-upstream origin otheruser-fix_somebug
which I did, but my changes are not showing under the pull request, but instead under a copy of the branch otheruser-fix_somebug mirrored on my Github repo and unconnected to the pull request.
How should I have called git push to get the changes to appear on the pull request?