ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #12363 from 0xc0170/fix_mergify_release_version 

Mergify: fix release version label
pull/12359/head
Martin Kojtal 2020-02-04 15:30:18 +00:00 committed by GitHub
parent b33573ed27 0b0ae16bf9
commit 0b7c78be8a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.mergify.yml
View File

@ -155,9 +155,10 @@ pull_request_rules:
conditions: conditions:
- merged - merged
- -label~=^(release-version) - -label~=^(release-version)
- -label~=^(Release review required)
actions: actions:
label: label:
add: ['Release review required'] add: ['release version missing']
comment: comment:
message: This PR does not contain release version label after merging. message: This PR does not contain release version label after merging.