From 1d887a92d648b4f2b8d7bbbf13164497819ea530 Mon Sep 17 00:00:00 2001
From: Joshua Colvin <jcolvin@offchainlabs.com>
Date: Mon, 3 Jun 2024 17:03:30 -0700
Subject: [PATCH] Block merging if `design-approved` label missing

---
 .github/workflows/design-approved.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 .github/workflows/design-approved.yml

diff --git a/.github/workflows/design-approved.yml b/.github/workflows/design-approved.yml
new file mode 100644
index 0000000000..b24bfb337b
--- /dev/null
+++ b/.github/workflows/design-approved.yml
@@ -0,0 +1,19 @@
+name: Design Approved Check
+
+on:
+  pull_request:
+    types: [synchronize, opened, reopened, labeled, unlabeled]
+
+jobs:
+  design-approved-check:
+    if: ${{ !contains(github.event.*.labels.*.name, 'design-approved') }}
+    name: Prevent Merging
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check for label
+        run: |
+          echo "Pull request is missing the 'design-approved' label"
+          echo "This workflow fails so that the pull request cannot be merged"
+          exit 1
+
+