ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

mergify: fix conflict - remove also CI label

pull/12255/head
Martin Kojtal 2020-01-14 15:14:37 +00:00
parent e4cd9387dc
commit 55d51a9031
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.mergify.yml
View File

@ -108,6 +108,7 @@ pull_request_rules:
- "needs: work"
remove:
- "needs: review"
- "needs: CI"
comment:
message: This PR cannot be merged due to conflicts. Please rebase to resolve them.