From 6224e800f797dc3d8a6142ed5f029496cd7df8e9 Mon Sep 17 00:00:00 2001
From: Laurence Tratt <laurie@tratt.net>
Date: Thu, 9 Nov 2023 10:10:15 +0000
Subject: [PATCH] Move to GitHub merge queues.

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

diff --git a/.github/workflows/sdci.yml b/.github/workflows/sdci.yml
new file mode 100644
index 0000000..f20da18
--- /dev/null
+++ b/.github/workflows/sdci.yml
@@ -0,0 +1,11 @@
+on:
+  pull_request:
+  merge_group:
+
+# This is required to silence emails about the workflow having no jobs.
+# We simply define a dummy job that does nothing much.
+jobs:
+  dummy:
+    runs-on: ubuntu-latest
+    steps:
+      - run: /usr/bin/true
diff --git a/bors.toml b/bors.toml
deleted file mode 100644
index 35f1f7d..0000000
--- a/bors.toml
+++ /dev/null
@@ -1,8 +0,0 @@
-status = ["buildbot/buildbot-build-script"]
-
-timeout_sec = 600 # 10 minutes
-
-# Have bors delete auto-merged branches
-delete_merged_branches = true
-
-cut_body_after = ""