add permissions

leanprover-community · Aug 2, 2024 · fdac0ca · fdac0ca
1 parent 5665367
commit fdac0ca
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/monthly_pr_report.yaml b/.github/workflows/monthly_pr_report.yaml
@@ -9,6 +9,7 @@ jobs:
     if: github.event.pull_request.draft == false
     name: Blog draft
     runs-on: ubuntu-latest
+    permissions: write-all
 
     env:
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}