add milestone workflow from rosys

zauberzeug · Jul 12, 2024 · b739dec · b739dec
1 parent 25ee98f
commit b739dec
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/.github/workflows/milestone_check.yml b/.github/workflows/milestone_check.yml
@@ -0,0 +1,17 @@
+name: Milestone Assigned
+
+on:
+  pull_request:
+    types: [milestoned, demilestoned, opened]
+
+jobs:
+  check-milestone:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Check for milestone
+        run: |
+          if [ -z "${{ github.event.pull_request.milestone }}" ]; then
+            echo "No milestone assigned to the pull request."
+            exit 1
+          fi