Merge pull request #184 from remarkablemark/dependabot/github_actions/actions/github-script-9

Author: github-actions[bot]

.github/workflows/pull-request.yml

@@ -63,7 +63,7 @@ jobs:
     # https://github.com/actions/github-script#comment-on-an-issue
     - name: Add comment to opened PR
       if: github.event.action == 'opened'
-      uses: actions/github-script@v8
+      uses: actions/github-script@v9
       with:
         script: |
           github.rest.issues.createComment({