<div dir="ltr"><div class="gmail-ajy" tabindex="0">> <img class="gmail-ajz" id="gmail-:t6" src="https://mail.google.com/mail/u/1/images/cleardot.gif" alt="">Thinking out loud, it would be nice if github would support a "cherry pick" PR<br><br></div><div class="gmail-ajy" tabindex="0">I think you can. The submitter just needs to open a PR against some branch other than master, and the merger needs to select the <a href="https://github.com/blog/2243-rebase-and-merge-pull-requests">rebase and merge</a> GUI option.<br></div></div>