From a94ad7d5caea313eba7737c1f1674f2b6127c73e Mon Sep 17 00:00:00 2001
From: Robin Long <r.long@lancaster.ac.uk>
Date: Wed, 10 May 2023 14:15:20 +0100
Subject: [PATCH] Might need write permissions

---
 .github/workflows/documentation.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index 2327c18..65f3655 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -7,6 +7,7 @@ on:
 permissions:
     contents: write
     pages: write
+    pull-requests: write
 jobs:
   doc-generated-check:
     name: Check documentation has been generated