From 53adbd3562c984875e57fbcde1b3f601b7251a8a Mon Sep 17 00:00:00 2001
From: Andrei Lascu <andrei.lascu@kcl.ac.uk>
Date: Mon, 13 Nov 2023 11:13:40 +0000
Subject: [PATCH] Migrate to Merge Queues

---
 .github/workflows/merge.yml | 9 +++++++++
 bors.toml                   | 8 --------
 2 files changed, 9 insertions(+), 8 deletions(-)
 create mode 100644 .github/workflows/merge.yml
 delete mode 100644 bors.toml

diff --git a/.github/workflows/merge.yml b/.github/workflows/merge.yml
new file mode 100644
index 0000000..2890138
--- /dev/null
+++ b/.github/workflows/merge.yml
@@ -0,0 +1,9 @@
+on:
+  pull_request:
+  merge_group:
+
+jobs:
+  dummy:
+    runs-on: ubuntu-latest
+    steps:
+      - run: /usr/bin/true
diff --git a/bors.toml b/bors.toml
deleted file mode 100644
index 2fde3d7..0000000
--- a/bors.toml
+++ /dev/null
@@ -1,8 +0,0 @@
-status = ["buildbot/ci-builder"]
-
-timeout_sec = 600 # 10 minutes
-
-# Have bors delete auto-merged branches
-delete_merged_branches = true
-
-cut_body_after = ""