From 12dbb11a8ac58e8d5c043d5963a5fc9a4e13a68a Mon Sep 17 00:00:00 2001
From: John Lees <lees.john6@gmail.com>
Date: Tue, 12 Dec 2023 10:06:33 +0000
Subject: [PATCH] Add permissions again

---
 .github/workflows/docs_push.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/docs_push.yml b/.github/workflows/docs_push.yml
index b815204d..f354e7f3 100644
--- a/.github/workflows/docs_push.yml
+++ b/.github/workflows/docs_push.yml
@@ -24,6 +24,11 @@ jobs:
         retention-days: 1
 
   deploy:
+    permissions:
+      contents: read
+      pages: write
+      id-token: write
+
     needs: build
 
     environment: