From e0e2ab99c040346314038446895580c450cf469d Mon Sep 17 00:00:00 2001
From: Eliot Sykes <eliotsykes@gmail.com>
Date: Sat, 24 Feb 2024 13:21:41 +0000
Subject: [PATCH] Permit pull requests from workflows

---
 .github/workflows/docs.yml              | 1 +
 .github/workflows/update_submodules.yml | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 1ee8405c3..5a8c31373 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -14,6 +14,7 @@ jobs:
     runs-on: ubuntu-latest
     permissions:
       contents: write # Permit git push
+      pull-requests: write
     steps:
       - name: Set TODAY env var
         run: echo "TODAY=$(date +'%Y-%m-%d')" >> $GITHUB_ENV
diff --git a/.github/workflows/update_submodules.yml b/.github/workflows/update_submodules.yml
index df1cd848d..5f22fd294 100644
--- a/.github/workflows/update_submodules.yml
+++ b/.github/workflows/update_submodules.yml
@@ -15,6 +15,7 @@ jobs:
     runs-on: ubuntu-latest
     permissions:
       contents: write # Permit git push
+      pull-requests: write
     steps:
       - name: Set TODAY env var
         run: echo "TODAY=$(date +'%Y-%m-%d')" >> $GITHUB_ENV