Merge branch 'main' into forked-binder-branch

ploomber · Jun 26, 2023 · 7101b72 · 7101b72
2 parents b678e2c + 26b761c
commit 7101b72
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 6 deletions.
diff --git a/.github/workflows/binder-badge.yml b/.github/workflows/binder-badge.yml
@@ -1,5 +1,7 @@
 name: Binder Badge
 on:
+  pull_request:
+    types: [opened, synchronize]
   pull_request_target:
     types: [opened, synchronize]
 
@@ -14,13 +16,15 @@ jobs:
       with:
         github-token: ${{secrets.GITHUB_TOKEN}}
         script: |
+
+          console.log("Context:", JSON.stringify(context, null, 2)); // For debugging
           
-          
-          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;
+          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;
+
           
           github.rest.issues.createComment({
             issue_number: issue_number,

diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,6 +1,7 @@
 # CHANGELOG
 
 ## 0.1.39dev
+test binder 1
 
 ## 0.1.38 (2023-03-30)