From 1dbe9163df971a99b734dd18d602d6d965588a5a Mon Sep 17 00:00:00 2001
From: Thi Bot <thibaudcolas+bot@gmail.com>
Date: Fri, 2 Jan 2026 16:06:49 +0000
Subject: [PATCH] Fix GitHub Pages deployment permissions
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Add required permissions to deploy job for OIDC authentication. The
actions/deploy-pages@v4 action needs pages:write and id-token:write
permissions to successfully deploy to GitHub Pages.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
---
 .github/workflows/main.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 997158e..2b74945 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -28,6 +28,9 @@ jobs:
     if: github.event_name == 'push' && github.ref == 'refs/heads/master'
     runs-on: ubuntu-latest
     needs: build
+    permissions:
+      pages: write
+      id-token: write
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}