infra: use 'React to comment' from Github

romani · romani · commit 0cd8f7ca2128 · 2026-01-04T09:01:45.000-08:00
diff --git a/.github/workflows/diff-report.yml b/.github/workflows/diff-report.yml
@@ -47,16 +47,17 @@ jobs:
       commit_sha: ${{ steps.branch.outputs.commit_sha }}
 
     steps:
-      - uses: shanegenschaw/pull-request-comment-trigger@v3.0.0
-        name: React with rocket on run
+      - name: React to comment
+        uses: actions/github-script@v8
         with:
-          trigger: ','
-          reaction: rocket
-        env:
-          GITHUB_TOKEN: '${{ secrets.GITHUB_TOKEN }}'
-
-      - run: 'echo without this pull-request-comment-trigger causes all further steps be skipped'
-        if: 'true'
+          github-token: ${{secrets.GITHUB_TOKEN}}
+          script: |
+            github.rest.reactions.createForIssueComment({
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              comment_id: context.payload.comment.id,
+              content: 'rocket'
+            })
 
       - name: Checkout repository
         uses: actions/checkout@v6
diff --git a/config/jsoref-spellchecker/whitelist.words b/config/jsoref-spellchecker/whitelist.words
@@ -1243,7 +1243,6 @@ SERIALVERSIONUID
 servlet
 severitymatchfilter
 sevntu
-shanegenschaw
 shasum
 shellcheck
 shengchen
