no token

leanprover-community · Aug 2, 2024 · 86a7a70 · 86a7a70
1 parent e453c37
commit 86a7a70
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.github/workflows/monthly_pr_report.yaml b/.github/workflows/monthly_pr_report.yaml
@@ -10,9 +10,6 @@ jobs:
  name: Blog draft
  runs-on: ubuntu-latest
 
- env:
- GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-
  steps:
  - name: cleanup
  run: |