mirror of https://github.com/ARMmbed/mbed-os.git
mergify: to go to CI, work not matters if approved
As pr-head is neutral, means there was a push, we should test PR again and if all passed, should be marked as ready for merge.pull/12269/head
parent
7962deb881
commit
f4ee0829ad
|
@ -81,7 +81,6 @@ pull_request_rules:
|
|||
conditions:
|
||||
- base~=feature-mergify
|
||||
# Labels
|
||||
- "label!=needs: work"
|
||||
- "label!=needs: preceding PR"
|
||||
|
||||
# Reviewers
|
||||
|
|
Loading…
Reference in New Issue