Simplify label check using pre-built action

Author: AndrewSazonov

.github/workflows/pr-labels.yml

@@ -1,56 +1,38 @@
-# Verifies if a pull request has at least one label from a set of valid
-# labels before it can be merged.
-#
-# NOTE:
-# This workflow may be triggered twice in quick succession when a PR is
-# created:
-#   1) `opened`  — when the pull request is initially created
-#   2) `labeled` — if labels are added immediately after creation
-# (e.g. by manual labeling, another workflow, or GitHub App).
-#
-# These are separate GitHub events, so two workflow runs can be started.
-
 name: PR labels check
 
 on:
   pull_request_target:
     types: [opened, labeled, unlabeled, synchronize]
 
 permissions:
-  pull-requests: read
+  issues: write
+  pull-requests: write
 
 jobs:
   check-labels:
     runs-on: ubuntu-latest
 
     steps:
-      - name: Check for valid labels
-        run: |
-          PR_LABELS=$(echo '${{ toJson(github.event.pull_request.labels.*.name) }}' | jq -r '.[]')
-
-          echo "Current PR labels: $PR_LABELS"
-          VALID_LABELS=(
-            "[bot] release"
-            "[scope] bug"
-            "[scope] documentation"
-            "[scope] enhancement"
-            "[scope] maintenance"
-            "[scope] significant"
-          )
-
-          found=false
-          for label in "${VALID_LABELS[@]}"; do
-            if echo "$PR_LABELS" | grep -Fxq "$label"; then
-              echo "✅ Found valid label: $label"
-              found=true
-              break
-            fi
-          done
-
-          if [ "$found" = false ]; then
-            echo "ERROR: PR must have at least one of the following labels:"
-            for label in "${VALID_LABELS[@]}"; do
-              echo "       - $label"
-            done
-            exit 1
-          fi
+      - name: Checkout repository
+        uses: actions/checkout@v6
+
+      - name: Setup easyscience[bot]
+        id: bot
+        uses: ./.github/actions/setup-easyscience-bot
+        with:
+          app-id: ${{ vars.EASYSCIENCE_APP_ID }}
+          private-key: ${{ secrets.EASYSCIENCE_APP_KEY }}
+
+      - uses: mheap/github-action-required-labels@v5
+        with:
+          token: ${{ steps.bot.outputs.token }}
+          add_comment: true
+          mode: minimum
+          count: 1
+          labels: |
+            [bot] release
+            [scope] bug
+            [scope] documentation
+            [scope] enhancement
+            [scope] maintenance
+            [scope] significant