From a6f01078b0de02c820f92bb6cfbaa5ea799de097 Mon Sep 17 00:00:00 2001
From: Boaz Poolman <boaz_skater@hotmail.com>
Date: Sun, 1 Feb 2026 15:29:29 +0100
Subject: [PATCH] chore: add permissions for docs deploy pipeline

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

diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
index bab990e..fe90df3 100644
--- a/.github/workflows/deploy-docs.yml
+++ b/.github/workflows/deploy-docs.yml
@@ -11,6 +11,9 @@ jobs:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
     runs-on: ubuntu-latest
+    permissions:
+      pages: write
+      id-token: write
     steps:
       - name: Checkout
         uses: actions/checkout@v4