What do I do when a pull request is cherry picked?
I forked a project on GitHub, pushed some changes, and opened a pull request. The maintainer signed-off and applied the changes in a new commit (rather than merging my commit), and so the commit graph looked like this: * 03a0687 (origin/master) frotz: Corrected MAN_PREFIX | * 11d3e98 (HEAD, master, jleedev/master) frotz: Corrected MAN_PREFIX |/ * 9c3dd1a yajl: use direct patch from Github. Obviously, I have to either rebase or force-update my local branch. Do I then have to force-push to my fork on GitHub? I’m mainly asking because force-updating should not be automatic. Is this the standard