From ab655d5a27576b8ba45027342d859ca0159360b4 Mon Sep 17 00:00:00 2001 From: paoloredis Date: Tue, 22 Oct 2024 16:22:32 +0200 Subject: [PATCH] Add pull request permissions to redis_modules_docs_sync workflow --- .github/workflows/redis_modules_docs_sync.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/redis_modules_docs_sync.yaml b/.github/workflows/redis_modules_docs_sync.yaml index 7373a86f57..df75cb311f 100644 --- 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'