fix colab badge

Author: atravitz

.github/workflows/binder-badge.yaml renamed to .github/workflows/colab-badge.yaml

@@ -11,13 +11,13 @@ jobs:
       pull-requests: write
     steps:
     - name: comment on PR with Colab link
-      uses: actions/github-script@v8
+      uses: actions/github-script@v3
       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,