labeler tweaks (#2617)

.github/workflows/pr_enforce_labels.yml

@@ -0,0 +1,25 @@
+name: Check PR Labels
+
+on:
+  pull_request:
+    types: [edited, labeled]
+
+permissions:
+  pull-requests: read
+  contents: read
+
+jobs:
+ check-label:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check for PR labels
+        uses: actions/github-script@v7
+        with:
+          script: |
+            const labels = context.payload.pull_request.labels.map(label => label.name);
+            const requiredLabels = ['bugfix', 'enhancement', 'automation', 'dependencies', 'repo', 'release'];
+            const hasRequiredLabel = labels.some(label => requiredLabels.includes(label));
+            console.log(labels);
+            if (!hasRequiredLabel) {
+              core.setFailed(`PR must have at least one of the following labels before it can be merged: ${requiredLabels.join(', ')}.`);
+            }