update github workflows from cookie cutter

Author: f-brinkmann

.github/workflows/has_version_label.yml .github/workflows/has_label.yml.github/workflows/has_version_label.yml renamed to .github/workflows/has_label.yml

@@ -1,4 +1,4 @@
-name: PR Check Label for version Label
+name: pull_request label
 
 on:
   pull_request:
@@ -12,17 +12,15 @@ jobs:
   check-labels:
     runs-on: ubuntu-latest
     steps:
-      - name: Check for version label
+      - name: pull_request label
         run: |
-          echo "Checking for version label on pull request..."
+          echo "Checking for label on pull request..."
           PR_DATA=$(gh api repos/${{ github.repository }}/pulls/${{ github.event.pull_request.number }})
           LABEL_NAMES=$(echo "$PR_DATA" | jq -r '.labels[].name')
           echo "Labels: $LABEL_NAMES"
 
-          REGEX="^v[0-9]+\.[0-9]+\.[0-9]+$"
-          MATCHES=$(echo "$LABEL_NAMES" | grep -E "$REGEX")
-          if [ -z "$MATCHES" ]; then
-            echo "Error: No version label found on this pull request. Please add a label in the format vX.Y.Z."
+          if [ -z "$LABEL_NAMES" ]; then
+            echo "Error: No label found on this pull request. Please add a label."
             exit 1
           fi
         env:

.github/workflows/has_version_milestone.yml

@@ -0,0 +1,29 @@
+name: pull_request version milestone
+
+on:
+  pull_request:
+    types:
+      - opened
+      - labeled
+      - unlabeled
+      - synchronize
+
+jobs:
+  check-labels:
+    runs-on: ubuntu-latest
+    steps:
+      - name: pull_request version milestone
+        run: |
+          echo "Checking for version milestone on pull request..."
+          PR_DATA=$(gh api repos/${{ github.repository }}/pulls/${{ github.event.pull_request.number }})
+          MILESTONE_NAME=$(echo "$PR_DATA" | jq -r '.milestone.title')
+          echo "Milestone: $MILESTONE_NAME"
+
+          REGEX="^v[0-9]+\.[0-9]+\.[0-9]+$"
+          MATCHES=$(echo "$MILESTONE_NAME" | grep -E "$REGEX")
+          if [ -z "$MATCHES" ]; then
+            echo "Error: No version milestone found on this pull request. Please add a milestone in the format vX.Y.Z."
+            exit 1
+          fi
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}