From eb3984cb2d11df78d23ad399ee7beeebff795233 Mon Sep 17 00:00:00 2001
From: Robin Leroy <egg.robin.leroy@gmail.com>
Date: Fri, 15 Dec 2023 19:21:54 +0100
Subject: [PATCH] Require labels

---
 .github/workflows/pipeline.yml | 19 ++++++++++++++-----
 1 file changed, 14 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/pipeline.yml b/.github/workflows/pipeline.yml
index 0cfa66374..466921fb3 100644
--- a/.github/workflows/pipeline.yml
+++ b/.github/workflows/pipeline.yml
@@ -3,12 +3,12 @@ name: Pipeline
 
 on:
   pull_request:
-    branches:
-    - '*'
+    branches: ['*']
+    types: [opened, synchronize, reopened, labeled, ready_for_review, converted_to_draft]
 
 jobs:
-  check-repertoire-changes:
-    name: Check repertoire changes
+  labels-for-repertoire-changes:
+    name: Labels for repertoire changes
     runs-on: ubuntu-latest
     steps:
     - name: Checkout merged UnicodeData.txt
@@ -35,5 +35,14 @@ jobs:
       if: steps.compare-repertoire.outputs.changed == 'true'
       run: |
         cat $GITHUB_EVENT_PATH |
-        python3 -c "import sys, json; print(json.load(sys.stdin)['pull_request']['labels'])"
+        python3 <<EOF
+        import sys, json
+        labels = json.load(sys.stdin)['pull_request']['labels'])
+        for label in labels:
+          if label.startswith('pipeline-'):
+            print("Labeled", label)
+            exit(0)
+        print("::error file=unicodetools/data/ucd/dev/UnicodeData.txt,title=Missing pipeline label::PRs for character additions must have a pipeline label")
+        exit(1)
+        EOF