From b9d7129e0bae37515343abe5efdb6f7dd4354f14 Mon Sep 17 00:00:00 2001
From: Sebastian Malton <sebastian@malton.name>
Date: Wed, 19 Oct 2022 12:43:50 -0400
Subject: [PATCH] Require milestones on PRs before merging

Signed-off-by: Sebastian Malton <sebastian@malton.name>
---
 .github/workflows/require-milestone.yml | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 .github/workflows/require-milestone.yml

diff --git a/.github/workflows/require-milestone.yml b/.github/workflows/require-milestone.yml
new file mode 100644
index 0000000000..6687e468f3
--- /dev/null
+++ b/.github/workflows/require-milestone.yml
@@ -0,0 +1,11 @@
+name: Require Milestone
+on:
+  pull_request:
+    types: [opened, edited]
+jobs:
+  label:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Require Milestone
+        if: ${{ github.event.pull_request.milestone == null }}
+        run: exit 1