mirror of https://github.com/ARMmbed/mbed-os.git
Mergify: fix release version label
Check if release review is not applied for merged PR. If not, we use "release version missing" label.pull/12363/head
parent
c63daa5fb8
commit
0b0ae16bf9
|
@ -155,9 +155,10 @@ pull_request_rules:
|
|||
conditions:
|
||||
- merged
|
||||
- -label~=^(release-version)
|
||||
- -label~=^(Release review required)
|
||||
actions:
|
||||
label:
|
||||
add: ['Release review required']
|
||||
add: ['release version missing']
|
||||
comment:
|
||||
message: This PR does not contain release version label after merging.
|
||||
|
||||
|
|
Loading…
Reference in New Issue