mirror of https://github.com/ARMmbed/mbed-os.git
mergify: also remove needs: work if CI ready
There are two cases here: either PR was in review or needs work. in any case, new CI should be started as pr-head is yellow. Once it completes, based on reviews, we can move to ready for merge or back to needs work if fails.pull/12269/head
parent
0d483aad0a
commit
957d458a24
|
@ -97,6 +97,7 @@ pull_request_rules:
|
|||
- "needs: CI"
|
||||
remove:
|
||||
- "needs: review"
|
||||
- "needs: work"
|
||||
|
||||
# From needs: work to needs: CI
|
||||
- name: "label needs: CI it was approved and pr-head needs to be rerun again"
|
||||
|
|
Loading…
Reference in New Issue