From 36de1787d27b7e6d33bfb0edc9cf20b4cd65201f Mon Sep 17 00:00:00 2001
From: Olivier Tassinari <olivier.tassinari@gmail.com>
Date: Sat, 2 Sep 2023 16:21:54 +0200
Subject: [PATCH] [core] Ensure PRs are merged with a label

---
 .github/workflows/check-if-pr-has-label.yml | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 .github/workflows/check-if-pr-has-label.yml

diff --git a/.github/workflows/check-if-pr-has-label.yml b/.github/workflows/check-if-pr-has-label.yml
new file mode 100644
index 0000000..8d8672f
--- /dev/null
+++ b/.github/workflows/check-if-pr-has-label.yml
@@ -0,0 +1,20 @@
+name: Check if PR has label
+
+on:
+  pull_request:
+    types: [opened, reopened, labeled, unlabeled]
+
+permissions: {}
+
+jobs:
+  test-label-applied:
+    # Tests that label is added on the PR
+    runs-on: ubuntu-latest
+    permissions:
+      contents: read
+    steps:
+      - uses: mnajdova/github-action-required-labels@ca0df9249827e43aa4b4a0d25d9fe3e9b19b0705 # v2.1.0
+        with:
+          mode: minimum
+          count: 1
+          labels: ''