From b420d49b1d3e0a1101163dc1069c1a6279d192dd Mon Sep 17 00:00:00 2001
From: Adam Setch <adam.setch@outlook.com>
Date: Fri, 1 Aug 2025 12:12:49 -0400
Subject: [PATCH] build: add auto-milestone workflow on pr merge

Signed-off-by: Adam Setch <adam.setch@outlook.com>
---
 .github/workflows/milestone.yml | 34 +++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 .github/workflows/milestone.yml

diff --git a/.github/workflows/milestone.yml b/.github/workflows/milestone.yml
new file mode 100644
index 000000000..130850b83
--- /dev/null
+++ b/.github/workflows/milestone.yml
@@ -0,0 +1,34 @@
+name: Add milestone on PR merge
+
+on:
+  pull_request:
+    branches:
+      - main
+    types:
+      - closed
+
+permissions:
+  pull-requests: write
+
+jobs:
+  add-milestone:
+    if: github.event.pull_request.merged == true
+    runs-on: ubuntu-latest
+    steps:
+      - name: Authenticate GitHub CLI
+        run: echo "${{ secrets.GITHUB_TOKEN }}" | gh auth login --with-token
+
+      - name: Get open milestone
+        id: milestone
+        run: |
+          milestone=$(gh api repos/${{ github.repository }}/milestones \
+            --jq '.[] | select(.state=="open") | .title' | head -n 1)
+          echo "Found milestone: $milestone"
+          echo "milestone=$milestone" >> $GITHUB_ENV
+
+      - name: Add milestone to PR
+        if: env.milestone != ''
+        run: |
+          gh pr edit ${{ github.event.pull_request.number }} \
+            --repo ${{ github.repository }} \
+            --milestone "${{ env.milestone }}"