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 #13066 from 0xc0170/fix_release_type 

mergify: add release type
pull/13089/head
Martin Kojtal 2020-06-09 09:18:14 +02:00 committed by GitHub
parent a28e809122 a4a07ea5e4
commit 998d06a80b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
.mergify.yml
View File

@ -164,6 +164,7 @@ pull_request_rules:
- merged
- -label~=^(release-version)
- -label~=^(Release review required)
- -label~=^(release-type)
actions:
label:
add: ['release version missing']
@ -172,7 +173,7 @@ pull_request_rules:
# If there is a release version remove 'release version missing' and / or
# release review required
- name: release version is a must for merged PRs part 2
- name: release version is a must for merged PRs part 2.1
conditions:
- merged
- label=^(release-version)
@ -180,6 +181,14 @@ pull_request_rules:
label:
remove: ['release version missing', 'Release review required']
- name: release version is a must for merged PRs part 2.2
conditions:
- merged
- label=^(release-type)
actions:
label:
remove: ['release version missing', 'Release review required']
- name: add release review required to release branches
conditions:
- base~=^mbed-os-5.15