I have cloned a pull request according to the simple instructions here, and here.
I have edited the cloned PR locally, and now I want to merge it to be the new version of the software. How do I do this?
What I've tried so far
I tried the following
git add .
git commit -m "minor edits to pr"
git push
and saw
fatal: The current branch pullrequest has no upstream branch.
To push the current branch and set the remote as upstream, use
git push --set-upstream origin pullrequest
So I then ran git push --set-upstream origin pullrequest
I now see
where the PR in the green box is the one i'm trying to edit and merge