Fix permission on binder PR comment workflow

fcollonval · web-flow · commit f0b492a9973e · 2021-04-27T11:56:48.000+02:00
diff --git a/.github/workflows/binder-on-pr.yaml b/.github/workflows/binder-on-pr.yaml
@@ -4,6 +4,9 @@ on:
   pull_request_target:
     types: [opened]
 
+permissions:
+  pull-requests: write
+
 jobs:
   binder:
     runs-on: ubuntu-latest
