PR from a fork 2

ploomber · Jun 26, 2023 · a19fec0 · a19fec0
1 parent 4d0a463
commit a19fec0
Showing 1 changed file with 6 additions and 9 deletions.
diff --git a/.github/workflows/binder-badge.yml b/.github/workflows/binder-badge.yml
@@ -1,7 +1,5 @@
 name: Binder Badge
 on:
-  pull_request_target:
-    types: [opened, synchronize]
   pull_request:
     types: [opened, synchronize]
 jobs:
@@ -15,15 +13,14 @@ jobs:
       with:
         github-token: ${{secrets.GITHUB_TOKEN}}
         script: |
-          console.log("GitHub Context:", JSON.stringify(github, null, 2)); # For debugging
+          console.log("Context:", JSON.stringify(context, null, 2)); // For debugging
           
-          var PR_HEAD_REF = github.event.pull_request.head.ref;
-          var PR_HEAD_USERREPO = github.event.pull_request.head.repo.full_name;
-          var issue_number = github.event.pull_request.number;
-          var owner = github.event.pull_request.base.repo.owner.login;
-          var repo = github.event.pull_request.base.repo.name;
+          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;
 
-          console.log(`Posting comment to ${owner}/${repo} issue #${issue_number}`); # For debugging
           
           github.rest.issues.createComment({
             issue_number: issue_number,