cherry pick 'docs-cherrypick' label rather than 'docs' to stable-website (#7443)
This commit is contained in:
parent
8a7ff69b19
commit
3e0ecc096c
|
@ -95,8 +95,8 @@ for label in $labels; do
|
||||||
git config --local user.email "hashicorp-ci@users.noreply.github.com"
|
git config --local user.email "hashicorp-ci@users.noreply.github.com"
|
||||||
git config --local user.name "hashicorp-ci"
|
git config --local user.name "hashicorp-ci"
|
||||||
status "checking label: $label"
|
status "checking label: $label"
|
||||||
# if the label matches docs*, it will attempt to cherry-pick to stable-website
|
# if the label matches docs-cherrypick, it will attempt to cherry-pick to stable-website
|
||||||
if [[ $label =~ docs* ]]; then
|
if [[ $label == docs-cherrypick ]]; then
|
||||||
status "backporting to stable-website"
|
status "backporting to stable-website"
|
||||||
branch="stable-website"
|
branch="stable-website"
|
||||||
cherry_pick_with_slack_notification $branch $CIRCLE_SHA1 $pr_url
|
cherry_pick_with_slack_notification $branch $CIRCLE_SHA1 $pr_url
|
||||||
|
@ -108,4 +108,4 @@ for label in $labels; do
|
||||||
cherry_pick_with_slack_notification $branch $CIRCLE_SHA1 $pr_url
|
cherry_pick_with_slack_notification $branch $CIRCLE_SHA1 $pr_url
|
||||||
git push origin $branch
|
git push origin $branch
|
||||||
fi
|
fi
|
||||||
done
|
done
|
||||||
|
|
Loading…
Reference in New Issue