From 5e2665d82388c39bda9d843ed7dfd2a71298c6fc Mon Sep 17 00:00:00 2001
From: Terts Diepraam <terts.diepraam@gmail.com>
Date: Mon, 21 Aug 2023 14:58:02 +0200
Subject: [PATCH] add permissions to deploy job

---
 .github/workflows/docs.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 1577e47bb..f1081dc50 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -146,6 +146,10 @@ jobs:
 
   # Deployment job
   deploy:
+    permissions:
+      contents: read
+      pages: write
+      id-token: write
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}