diff --git a/.github/workflows/update.yaml b/.github/workflows/update.yaml
index ca81009..d2a5b32 100644
--- a/.github/workflows/update.yaml
+++ b/.github/workflows/update.yaml
@@ -10,7 +10,7 @@ jobs:
     permissions:
       issues: write         # required to create issues
       pull-requests: write  # required to create pull requests
-      contents: read
+      contents: write
     steps:
       - name: Update Lean project
         uses:  oliver-butterley/lean-update-action@v1-alpha