PR from a fork 4

.github/workflows/binder-badge.yml

@@ -2,6 +2,7 @@ name: Binder Badge
 on:
   pull_request_target:
     types: [opened, synchronize]
+
 jobs:
   binder:
     runs-on: ubuntu-latest
@@ -13,14 +14,13 @@ jobs:
       with:
         github-token: ${{secrets.GITHUB_TOKEN}}
         script: |
-          console.log("Context:", JSON.stringify(context, null, 2)); // For debugging
+          console.log("GitHub Context:", JSON.stringify(github.context, null, 2)); // For debugging
           
-          var PR_HEAD_REF = context.payload.pull_request.head.ref;
-          var PR_HEAD_USERREPO = context.payload.pull_request.head.repo.full_name;
-          var issue_number = context.payload.pull_request.number;
-          var owner = context.payload.pull_request.base.repo.owner.login;
-          var repo = context.payload.pull_request.base.repo.name;
-
+          var PR_HEAD_REF = github.context.payload.pull_request.head.ref;
+          var PR_HEAD_USERREPO = github.context.payload.pull_request.head.repo.full_name;
+          var issue_number = github.context.payload.pull_request.number;
+          var owner = github.context.payload.pull_request.base.repo.owner.login;
+          var repo = github.context.payload.pull_request.base.repo.name;
           
           github.rest.issues.createComment({
             issue_number: issue_number,