> Thinking out loud, it would be nice if github would support a "cherry pick" PR
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 rebase and merge <https://github.com/blog/2243-rebase-and-merge-pull-requests> GUI option.
_______________________________________________ Pulp-dev mailing list [email protected] https://www.redhat.com/mailman/listinfo/pulp-dev
