From 2064220582805068a2b62379151e1eb2051235ee Mon Sep 17 00:00:00 2001
From: Luca Ardito <luar@bendingspoons.com>
Date: Wed, 9 Sep 2026 18:04:09 +0200
Subject: [PATCH] ci: pin explicit permissions on website deploy job

---
 .github/workflows/website.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml
index 2fcbe3875..b48f2169a 100644
--- a/.github/workflows/website.yml
+++ b/.github/workflows/website.yml
@@ -30,6 +30,8 @@ jobs:
     name: Deploy to GitHub Pages
     if: github.ref == 'refs/heads/main'
     runs-on: ubuntu-latest
+    permissions:
+      contents: write
     steps:
       - name: Checkout
         uses: actions/checkout@v4