Merge pull request #794 from redis/DOC-4386

Add pull request permissions to redis_modules_docs_sync workflow
redis · Oct 22, 2024 · 6011079 · 6011079
2 parents c6c3861 + ab655d5
commit 6011079
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/redis_modules_docs_sync.yaml b/.github/workflows/redis_modules_docs_sync.yaml
@@ -10,6 +10,7 @@ jobs:
     runs-on: ubuntu-latest
     permissions:
       contents: write
+      pull-requests: write
       actions: write
     steps:
       - name: 'Checkout'