From 71e35bd235a1d1d2ca9c63bd52f6e723e5ecab9c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Yaman=20G=C3=BC=C3=A7l=C3=BC?= <yaman.guclu@gmail.com>
Date: Fri, 7 Mar 2025 18:41:16 +0100
Subject: [PATCH] Ensure GITHUB_TOKEN has write permissions.

---
 .github/workflows/build-deploy-book.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/build-deploy-book.yml b/.github/workflows/build-deploy-book.yml
index 7590a6c..cb71533 100644
--- a/.github/workflows/build-deploy-book.yml
+++ b/.github/workflows/build-deploy-book.yml
@@ -88,6 +88,12 @@ jobs:
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
+
+     # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
+    permissions:
+      pages: write      # to deploy to Pages
+      id-token: write   # to verify the deployment originates from an appropriate source
+
     steps:
     - name: Deploy to GitHub Pages
       id: deployment