From 251ff65c06c75c36e75becbd0dcfb4fbdb47e05f Mon Sep 17 00:00:00 2001
From: Shravan Goswami <123811742+shravanngoswamii@users.noreply.github.com>
Date: Wed, 7 May 2025 19:57:36 +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 0db924a67..878fb63d1 100644
--- a/.github/workflows/Docs.yml
+++ b/.github/workflows/Docs.yml
@@ -17,7 +17,7 @@ concurrency:
 
 permissions:
   contents: write
-  pull-requests: read
+  pull-requests: write
 
 jobs:
   docs: