From 74ab575f05c02c4767a5cbc74d938f6b519439a9 Mon Sep 17 00:00:00 2001
From: Shravan Goswami <123811742+shravanngoswamii@users.noreply.github.com>
Date: Wed, 7 May 2025 22:11:25 +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 2d5213e..475399d 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: