Merge pull request #58 from ploomber/binder-issue

binder test 1

.github/workflows/binder-badge.yml

@@ -1,5 +1,7 @@
 name: Binder Badge
 on:
+  pull_request:
+    types: [opened, synchronize]
   pull_request_target:
     types: [opened, synchronize]
 jobs:
@@ -13,15 +15,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,

CHANGELOG.md

@@ -1,6 +1,7 @@
 # CHANGELOG
 
 ## 0.1.39dev
+test binder 1
 
 ## 0.1.38 (2023-03-30)