fix colab badge (#258)

Author: atravitz

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

@@ -17,7 +17,7 @@ jobs:
         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,