Browse Source

Merge pull request #7466 from hashicorp/dnephin/support-cherry-pick-merge-PRs

ci: support cherry-picking of merge PRs
pull/7474/head
Daniel Nephin 5 years ago committed by GitHub
parent
commit
a103c62f33
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      .circleci/scripts/cherry-picker.sh

2
.circleci/scripts/cherry-picker.sh

@ -27,7 +27,7 @@ function cherry_pick_with_slack_notification {
git checkout $branch || exit 1 git checkout $branch || exit 1
# If git cherry-pick fails, we send a failure notification # If git cherry-pick fails, we send a failure notification
if ! git cherry-pick $commit; then if ! git cherry-pick --mainline 1 $commit; then
status "🍒❌ Cherry pick of commit ${commit:0:7} from $pr_url onto $branch failed!" status "🍒❌ Cherry pick of commit ${commit:0:7} from $pr_url onto $branch failed!"
curl -X POST -H 'Content-type: application/json' \ curl -X POST -H 'Content-type: application/json' \
--data \ --data \

Loading…
Cancel
Save