From 972201518da4adcaee43470cd3a68c0184729572 Mon Sep 17 00:00:00 2001
From: Robert <rspier@pobox.com>
Date: Sat, 11 May 2024 21:37:27 -0700
Subject: [PATCH] Workflow to implement a "do not merge" label.

From https://github.com/jessesquires/gh-workflows/blob/main/.github/workflows/do-not-merge.yml
(MIT licensed)
---
 .github/workflows/do-not-merge.yml | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 .github/workflows/do-not-merge.yml

diff --git a/.github/workflows/do-not-merge.yml b/.github/workflows/do-not-merge.yml
new file mode 100644
index 000000000..4c252a86f
--- /dev/null
+++ b/.github/workflows/do-not-merge.yml
@@ -0,0 +1,17 @@
+name: Do Not Merge
+
+on:
+  pull_request:
+    types: [synchronize, opened, reopened, labeled, unlabeled]
+
+jobs:
+  do-not-merge:
+    if: ${{ contains(github.event.*.labels.*.name, 'do not merge') }}
+    name: Prevent Merging
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check for label
+        run: |
+          echo "Pull request is labeled as 'do not merge'"
+          echo "This workflow fails so that the pull request cannot be merged"
+          exit 1