Merge pull request #8 from hsblabs/agent/mark-release-pr-tagged

fix: complete release PR lifecycle

Author: mktbsh

.github/workflows/release.yml

@@ -104,3 +104,18 @@ jobs:
           args: release --clean
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Mark release PR as tagged
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: |
+          pr_number="$(gh api "/repos/$GITHUB_REPOSITORY/commits/$GITHUB_SHA/pulls" \
+            --jq 'map(select(.merged_at != null and .base.ref == "main")) | first | .number')"
+          if [ -z "$pr_number" ]; then
+            echo "release PR not found for $GITHUB_SHA" >&2
+            exit 1
+          fi
+
+          gh pr edit "$pr_number" \
+            --remove-label "autorelease: pending" \
+            --add-label "autorelease: tagged"