consul/.circleci/scripts
Daniel Nephin 887e410cd6 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