Merge pull request #12743 from 0xc0170/fix_mergify_5.15

mergify: Add 5.15 rule
pull/12701/head
Martin Kojtal 2020-04-02 15:18:25 +02:00 committed by GitHub
commit 38b1d2fa9c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 2 deletions

View File

@ -178,8 +178,15 @@ pull_request_rules:
- label=^(release-version)
actions:
label:
remove: ['release version missing', 'Release review required']
remove: ['release version missing', 'Release review required']
- name: add release review required to release branches
conditions:
- base~=^mbed-os-5.15
actions:
label:
add: ['Release review required']
# Clean-up if closed but not merged
- name: remove release version and needs labels
conditions: