From e55675c49a9f51ff67a210d140fc4df218d0657a Mon Sep 17 00:00:00 2001
From: Nicholas Bishop <nbishop@nbishop.net>
Date: Mon, 24 Jul 2023 19:35:57 -0400
Subject: [PATCH] ci: Add merge_group trigger

This is required for using Github's merge queue.
---
 .github/workflows/developer_productivity.yml | 1 +
 .github/workflows/qa.yml                     | 2 +-
 .github/workflows/rust.yml                   | 1 +
 3 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/developer_productivity.yml b/.github/workflows/developer_productivity.yml
index fab14a548..76c2eee70 100644
--- a/.github/workflows/developer_productivity.yml
+++ b/.github/workflows/developer_productivity.yml
@@ -1,5 +1,6 @@
 name: Developer Productivity
 on:
+  merge_group:
   push:
   pull_request:
 jobs:
diff --git a/.github/workflows/qa.yml b/.github/workflows/qa.yml
index 5dcce40b8..61b6ab46b 100644
--- a/.github/workflows/qa.yml
+++ b/.github/workflows/qa.yml
@@ -1,5 +1,5 @@
 name: QA
-on: [push, pull_request]
+on: [merge_group, push, pull_request]
 jobs:
   spellcheck:
     name: Spellcheck
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 0184c8708..6dece7fc6 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -1,5 +1,6 @@
 name: Rust
 on:
+  merge_group:
   push:
     branches:
       - main