From 57c49e63dac82eceb2439f3e198c47203db7dd1e Mon Sep 17 00:00:00 2001
From: Alex <aleksandrosansan@gmail.com>
Date: Fri, 23 Sep 2022 16:30:33 +0100
Subject: [PATCH] Update build_doc.yml

An attempt to fix https://github.com/CGAL/cgal/actions/runs/3113064958/jobs/5047524512
---
 .github/workflows/build_doc.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index d1d6fb4828f..208ed4b1d5c 100644
--- a/.github/workflows/build_doc.yml
+++ b/.github/workflows/build_doc.yml
@@ -12,7 +12,7 @@ jobs:
 
     permissions:
       contents: read # to fetch code (actions/checkout)
-      issues: write # to create comment
+      pull-requests: write # to create comment
 
     runs-on: ubuntu-latest
     steps: