🚇 🩹 Adjust binder badge creation to github-script v5

glotaran · Oct 10, 2021 · 7d0cd3f · 7d0cd3f
1 parent 3f503ac
commit 7d0cd3f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/binder-on-pr.yml b/.github/workflows/binder-on-pr.yml
@@ -18,7 +18,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,