Merge 98e1d2c into b77aaa3

.github/workflows/diff-change-to-dist.yaml

@@ -41,19 +41,19 @@ jobs:
         with:
           github-token: ${{secrets.GITHUB_TOKEN}}
           script: |
-            const fs = require('fs').promises
-            const diff = await fs.readFile(
-              process.env.GITHUB_WORKSPACE + '/dist.diff', 'utf8'
+            const { readFile } = require('node:fs/promises')
+            const { GITHUB_WORKSPACE } = process.env
+            const { join } = require('node:path')
+            const { commentOnPr } = await import(
+              `${GITHUB_WORKSPACE}/shared/stats/comment.mjs`
+            )
+            const diff = await readFile(
+              join(GITHUB_WORKSPACE, 'dist.diff'), 'utf8'
             )
 
             const commentText = '## Changes to dist\n' +
               '```diff\n' +
               diff +
               '\n```'
 
-            github.rest.issues.createComment({
-              issue_number: context.payload.pull_request.number,
-              owner: context.repo.owner,
-              repo: context.repo.repo,
-              body: commentText
-            })
+            await commentOnPr({ github, context }, 'Diff release', commentText)