Update github-script action

Author: fcollonval

doc/howto/binder-badge.yaml

@@ -1,23 +1,24 @@
 #./.github/workflows/binder-badge.yaml
 name: Binder Badge
-on: 
+on:
   pull_request_target:
     types: [opened]
 
+permissions:
+  pull-requests: write
+
 jobs:
   binder:
     runs-on: ubuntu-latest
-    permissions:
-      pull-requests: write
     steps:
     - name: comment on PR with Binder link
-      uses: actions/github-script@v3
+      uses: actions/github-script@v6
       with:
         github-token: ${{secrets.GITHUB_TOKEN}}
         script: |
           var PR_HEAD_USERREPO = process.env.PR_HEAD_USERREPO;
           var PR_HEAD_REF = process.env.PR_HEAD_REF;
-          github.issues.createComment({
+          github.rest.issues.createComment({
             issue_number: context.issue.number,
             owner: context.repo.owner,
             repo: context.repo.repo,