mirror of https://github.com/ARMmbed/mbed-os.git
Mergify has no open condition! Change to not closed
parent
7479817a17
commit
b048e7b822
|
@ -102,7 +102,7 @@ pull_request_rules:
|
|||
# Conflict in the PR - needs: work and a comment to notify a user
|
||||
- name: "label needs: work when there is a conflict"
|
||||
conditions:
|
||||
- open
|
||||
- -closed
|
||||
- conflict
|
||||
actions:
|
||||
label:
|
||||
|
|
Loading…
Reference in New Issue