From b151dd0c9322783470a4a1772a0cef69c74fc733 Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <hugovk@users.noreply.github.com>
Date: Mon, 24 Jan 2022 22:38:33 +0200
Subject: [PATCH] Remove Mergify, use native GitHub auto-merge instead

---
 .github/labels.yml | 3 ---
 .mergify.yml       | 8 --------
 2 files changed, 11 deletions(-)
 delete mode 100644 .mergify.yml

diff --git a/.github/labels.yml b/.github/labels.yml
index 38b5fdb..090914a 100644
--- a/.github/labels.yml
+++ b/.github/labels.yml
@@ -91,9 +91,6 @@
 - color: b60205
   description: Removal of a feature, usually done in major releases
   name: removal
-- color: 2d18b2
-  description: "To automatically merge PRs that are ready"
-  name: automerge
 - color: 0366d6
   description: "For dependencies"
   name: dependencies
diff --git a/.mergify.yml b/.mergify.yml
deleted file mode 100644
index dad8639..0000000
--- a/.mergify.yml
+++ /dev/null
@@ -1,8 +0,0 @@
-pull_request_rules:
-  - name: Automatic merge on approval
-    conditions:
-      - label=automerge
-      - status-success=build
-    actions:
-      merge:
-        method: merge