From d06b30ff87fc74546e94087bd5bb94cf4e93eb9d Mon Sep 17 00:00:00 2001
From: "P. L. Lim" <2090236+pllim@users.noreply.github.com>
Date: Thu, 21 Mar 2024 11:45:13 -0400
Subject: [PATCH] Create check_milestone.yml

[ci skip]
---
 .github/workflows/check_milestone.yml | 34 +++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 .github/workflows/check_milestone.yml

diff --git a/.github/workflows/check_milestone.yml b/.github/workflows/check_milestone.yml
new file mode 100644
index 0000000..2250146
--- /dev/null
+++ b/.github/workflows/check_milestone.yml
@@ -0,0 +1,34 @@
+name: Check PR milestone
+
+on:
+  # So it cannot be skipped.
+  pull_request_target:
+    types: [opened, synchronize, milestoned, demilestoned]
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+permissions:
+  contents: read
+
+jobs:
+  # https://stackoverflow.com/questions/69434370/how-can-i-get-the-latest-pr-data-specifically-milestones-when-running-yaml-jobs
+  milestone_checker:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/github-script@v7
+      if: github.repository == 'spacetelescope/stsynphot_refactor'
+      with:
+        github-token: ${{ secrets.GITHUB_TOKEN }}
+        script: |
+          const { data } = await github.request("GET /repos/{owner}/{repo}/pulls/{pr}", {
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              pr: context.payload.pull_request.number
+            });
+            if (data.milestone) {
+              core.info(`This pull request has a milestone set: ${data.milestone.title}`);
+            } else {
+              core.setFailed(`A maintainer needs to set the milestone for this pull request.`);
+            }