Merge pull request ARMmbed#12391 from 0xc0170/fix_mergify_conflict

mergify: CI only if PR is without conflicts
fkjagodzinski · Feb 11, 2020 · 69a7d67 · 69a7d67
2 parents 8e52205 + 59746d7
commit 69a7d67
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.mergify.yml b/.mergify.yml
@@ -74,6 +74,9 @@ pull_request_rules:
       - "#changes-requested-reviews-by=0"
       - "#approved-reviews-by>=1"
 
+      # No conflict with the base branch
+      - -conflict
+
       # CI green policy, at least Travis should be green
       - status-success~=continuous-integration/travis-ci/pr
       # new CI needs to be done (neutral does not work, lets check if it failed or passed, if none, we need to run again)