Add write permissions to the Binder badge workflow

alaCa21 · Jun 9, 2021 · 286cbb9 · 286cbb9
1 parent 1bfbcae
commit 286cbb9
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/binder-on-pr.yml b/.github/workflows/binder-on-pr.yml
@@ -4,6 +4,10 @@ on:
   pull_request_target:
     types: [opened]
 
+permissions:
+  pull-requests:
+    write
+
 jobs:
   binder:
     runs-on: ubuntu-latest