From a06abda2295f95ae0a9b0a582db3bcff23cb6afa Mon Sep 17 00:00:00 2001
From: Martin Kojtal <martin.kojtal@arm.com>
Date: Wed, 26 Feb 2020 10:40:00 +0000
Subject: [PATCH] mergify: add "mergify skip" label

This is useful if we want to drive PR. There are situations when mergify is not ideal,
and we want to overwrite its rules.

I applied the label for some actions that we can overwrite.
---
 .mergify.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.mergify.yml b/.mergify.yml
index b1e0e77da6..f823b02c78 100644
--- a/.mergify.yml
+++ b/.mergify.yml
@@ -39,6 +39,7 @@ pull_request_rules:
     conditions:
       # Travis failing
       - status-failure~=continuous-integration/travis-ci/pr
+      - "label!=mergify skip"
     actions:
       label:
         add: ['needs: work']
@@ -49,6 +50,7 @@ pull_request_rules:
     conditions:
       # Jenkins CI failing
       - status-failure~=continuous-integration/jenkins/pr-head
+      - "label!=mergify skip"
     actions:
       label:
         add: ['needs: work']
@@ -59,6 +61,7 @@ pull_request_rules:
     conditions:
       # Jenkins CI failing - any of the pipeline
       - status-failure~=^jenkins-ci
+      - "label!=mergify skip"
     actions:
       label:
         add: ['needs: work']
@@ -120,6 +123,7 @@ pull_request_rules:
     conditions:
       # Labels
       - "label!=do not merge"
+      - "label!=mergify skip"
       - "label=needs: CI"
 
       # Reviewers