chore: publish from staged

2026-06-13 11:33:32 +00:00 · 2026-06-09 05:55:34 +00:00
parent 1262e69ac7
commit 4a5a7897ad
3 changed files with 32 additions and 0 deletions
@@ -79,6 +79,13 @@ jobs:
              return;
            }

+            await github.rest.reactions.createForIssueComment({
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              comment_id: context.payload.comment.id,
+              content: '+1'
+            });
+
            await intakeState.syncExternalPluginIntakeLabels({
              github,
              owner: context.repo.owner,