From 3d5bc2721fbc60bf3cad9efd28e23b34d5f54d10 Mon Sep 17 00:00:00 2001
From: Matthias Kurz <m.kurz@irregular.at>
Date: Fri, 14 Oct 2022 11:45:30 +0200
Subject: [PATCH] Use the mergify config from the .github repo

---
 .github/mergify.yml |  1 +
 .mergify.yml        | 39 ---------------------------------------
 2 files changed, 1 insertion(+), 39 deletions(-)
 create mode 100644 .github/mergify.yml
 delete mode 100644 .mergify.yml

diff --git a/.github/mergify.yml b/.github/mergify.yml
new file mode 100644
index 0000000..526045d
--- /dev/null
+++ b/.github/mergify.yml
@@ -0,0 +1 @@
+extends: .github
diff --git a/.mergify.yml b/.mergify.yml
deleted file mode 100644
index d3b4b8a..0000000
--- a/.mergify.yml
+++ /dev/null
@@ -1,39 +0,0 @@
-defaults:
-  actions:
-    backport:
-      title: "[{{ destination_branch }}] {{ title }} (backport #{{ number }}) by @{{ author }}"
-
-queue_rules:
-  - name: default
-    conditions:
-      # Conditions to get out of the queue (= merged)
-      - check-success~=/ Ready To Merge$
-
-pull_request_rules:
-  - name: Merge PRs that are ready
-    conditions:
-      - check-success~=/ Ready To Merge$
-      - "#approved-reviews-by>=1"
-      - "#review-requested=0"
-      - "#changes-requested-reviews-by=0"
-      - label!=status:block-merge
-      - label=status:merge-when-green
-    actions:
-      queue:
-        method: merge
-        name: default
-
-  - name: Delete the PR branch and remove label after merge
-    conditions:
-      - merged
-    actions:
-      delete_head_branch: {}
-      label:
-        remove: [ "status:merge-when-green" ]
-
-  - name: Labeling for Scala Steward PR's
-    conditions:
-      - author=scala-steward
-    actions:
-      label:
-        add: [ "type:updates" ]