With github, I've got a contributor who opened a PR. I cloned their branch, and have now made my own changes on top of their original changes.
I want to push my local changes to his branch, so that they appear on the PR. I can do this via the github UI by clicking "edit file", but I can't figure out how to do this without them giving me push access to their fork?