From 8825da5692006ffb8697c8135a8bb199814c9a2f Mon Sep 17 00:00:00 2001
From: Kunal Mehta <legoktm@debian.org>
Date: Tue, 23 Apr 2024 10:35:54 -0400
Subject: [PATCH] Trigger CI on GitHub's merge queue

This doesn't enable the merge queue, but is a prerequisite. See
<https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue#triggering-merge-group-checks-with-github-actions>
for details.
---
 .github/workflows/ci.yml        | 2 +-
 .github/workflows/reprotest.yml | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 5e1b302..2ff027e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,7 +1,7 @@
 ---
 name: CI
 
-on: [push, pull_request]
+on: [merge_group, push, pull_request]
 
 jobs:
   checks:
diff --git a/.github/workflows/reprotest.yml b/.github/workflows/reprotest.yml
index 85a1525..3263e53 100644
--- a/.github/workflows/reprotest.yml
+++ b/.github/workflows/reprotest.yml
@@ -2,6 +2,7 @@
 name: CI
 
 on:
+  merge_group:
   push:
   pull_request:
   schedule: