From a773122fa956ebe49ffc94ca7b6126f9d499db95 Mon Sep 17 00:00:00 2001
From: phranck <phranck@phranck.dev>
Date: Thu, 29 Jan 2026 02:59:44 +0100
Subject: [PATCH] fix: Add contents: write permission for GitHub Actions
 workflow

The workflow needs write permissions to push generated documentation
back to the repository. Without this, github-actions[bot] gets a 403
permission denied error.
---
 .github/workflows/docc.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/docc.yml b/.github/workflows/docc.yml
index 1ba3982..3df58e7 100644
--- a/.github/workflows/docc.yml
+++ b/.github/workflows/docc.yml
@@ -6,6 +6,9 @@ on:
       - main
   workflow_dispatch:
 
+permissions:
+  contents: write
+
 jobs:
   build-docs:
     runs-on: macos-latest