ci: mark custom release PRs as tagged

Author: gjtorikian

.github/workflows/release-please.yml

@@ -171,6 +171,7 @@ jobs:
     runs-on: ubuntu-latest
     permissions:
       contents: write
+      pull-requests: write
     steps:
       - name: Generate token
         id: generate-token
@@ -195,6 +196,9 @@ jobs:
             VERSION="${BASH_REMATCH[1]}"
             echo "is-release=true"  >> "$GITHUB_OUTPUT"
             echo "version=$VERSION" >> "$GITHUB_OUTPUT"
+            if [[ "$SUBJECT" =~ \#([0-9]+) ]]; then
+              echo "pr-number=${BASH_REMATCH[1]}" >> "$GITHUB_OUTPUT"
+            fi
             echo "Detected release PR merge for v$VERSION"
           else
             echo "Not a release PR merge: $SUBJECT"
@@ -236,3 +240,14 @@ jobs:
           gh release create "$TAG" \
             --title "$TAG" \
             --notes-file /tmp/release-notes.md
+
+      - name: Mark release PR as tagged
+        if: steps.detect.outputs.is-release == 'true' && steps.detect.outputs['pr-number']
+        env:
+          GH_TOKEN: ${{ steps.generate-token.outputs.token }}
+          PR_NUMBER: ${{ steps.detect.outputs['pr-number'] }}
+        run: |
+          set -euo pipefail
+          gh pr edit "$PR_NUMBER" \
+            --remove-label "autorelease: pending" \
+            --add-label "autorelease: tagged"