From 21bf1c09d833ec27a9529cf192a34b50ad7d9fcb Mon Sep 17 00:00:00 2001
From: Shravan Goswami <123811742+shravanngoswamii@users.noreply.github.com>
Date: Wed, 7 May 2025 21:51:02 +0530
Subject: [PATCH] DocsGHA: Grant write permission to pull-requests event

To enable the Documenter.jl preview comment URL in PRs, write permissions are required for the `pull_request` event in GHA. This change grants the necessary permissions. See related PR for the comment feature: https://github.com/TuringLang/actions/pull/19.
---
 .github/workflows/Docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/Docs.yml b/.github/workflows/Docs.yml
index 4e60a8da..4d7e4f9c 100644
--- a/.github/workflows/Docs.yml
+++ b/.github/workflows/Docs.yml
@@ -15,7 +15,7 @@ concurrency:
 
 permissions:
   contents: write
-  pull-requests: read
+  pull-requests: write
 
 jobs:
   docs: