Merge pull request #12673 from ARMmbed/mergify-update

Mergify update
pull/12684/head
Martin Kojtal 2020-03-23 19:59:47 +01:00 committed by GitHub
commit e805b582c0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 20 additions and 1 deletions

View File

@ -102,6 +102,7 @@ pull_request_rules:
# Conflict in the PR - needs: work and a comment to notify a user # Conflict in the PR - needs: work and a comment to notify a user
- name: "label needs: work when there is a conflict" - name: "label needs: work when there is a conflict"
conditions: conditions:
- -closed
- conflict - conflict
actions: actions:
label: label:
@ -158,7 +159,7 @@ pull_request_rules:
add: ['do not merge'] add: ['do not merge']
# Check if version label is applied # Check if version label is applied
- name: release version is a must for merged PRs - name: release version is a must for merged PRs part 1
conditions: conditions:
- merged - merged
- -label~=^(release-version) - -label~=^(release-version)
@ -169,4 +170,22 @@ pull_request_rules:
comment: comment:
message: This PR does not contain release version label after merging. message: This PR does not contain release version label after merging.
# 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
conditions:
- merged
- label=^(release-version)
actions:
label:
remove: ['release version missing', 'Release review required']
# Clean-up if closed but not merged
- name: remove release version and needs labels
conditions:
- closed
- -merged
actions:
label:
remove_all: true