Daniel Nephin f91ab0ccb7 ci: support cherry-picking of merge PRs ... This change assumes that it is always safe to use the first commit parent as the mainline. I believe this assumption is safe with a github merge workflow.		2020-03-18 12:38:04 -04:00
..
cherry-picker.sh	ci: support cherry-picking of merge PRs	2020-03-18 12:38:04 -04:00