From 97eeff0bf3e842cdc7d751d0a73e48625c6f07a4 Mon Sep 17 00:00:00 2001
From: x64Eddie <eherreraga@miners.utep.edu>
Date: Fri, 9 Oct 2020 14:46:09 -0600
Subject: [PATCH] removed the bot to change it with another one.

---
 .github/mergify.yml | 30 ------------------------------
 1 file changed, 30 deletions(-)
 delete mode 100644 .github/mergify.yml

diff --git a/.github/mergify.yml b/.github/mergify.yml
deleted file mode 100644
index 70d1ac41..00000000
--- a/.github/mergify.yml
+++ /dev/null
@@ -1,30 +0,0 @@
-pull_request_rules:
-  - name: ask to resolve conflict
-    conditions:
-      - conflict
-    actions:
-        comment:
-          message: "This PR has conflicts. @{{author}}, is it possible for you to fix them? We can sync to discuss the problem should there be one"
-  - name: Hotfix merge
-    conditions:
-      - "#approved-reviews-by>=2"
-      - "head~=^hotfix"
-      - "base=stable"
-    actions:
-      backport:
-        branches:
-          - dev
-  - name: Automatic merge on approval
-    conditions:
-      - "#approved-reviews-by>=2"
-      - "-head~=^hotfix"
-    actions:
-      merge:
-        method: squash
-  - name: Wrong branch
-    conditions:
-      - "-head~=^hotfix"
-      - "base=stable"
-    actions:
-      close:
-        message: "Thank you for your contribution @{{author}}🎉! However, please double check if this PR goes into dev and not stable 🤔. The PR is going to be closed, please make another PR for dev!"