chore: publish from staged

2026-06-13 11:33:32 +00:00 · 2026-06-10 05:15:22 +00:00
parent 88dd4b3bc7
commit c66eb401d2
5 changed files with 883 additions and 896 deletions
@@ -1,16 +1,20 @@
-name: External Plugin Re-review Commands
+name: External Plugin Re-review Command

 on:
  issue_comment:
    types: [created]

+concurrency:
+  group: external-plugin-rereview-${{ github.event.issue.number }}
+  cancel-in-progress: false
+
 permissions:
  contents: write
  issues: write
  pull-requests: write

 jobs:
-  handle-command:
+  rereview-command:
    runs-on: ubuntu-latest
    if: >-
      !github.event.issue.pull_request &&