From 97c33d442c344e03805ff9304e6d928318ee0866 Mon Sep 17 00:00:00 2001
From: Lars Eggert <lars@eggert.org>
Date: Tue, 12 Mar 2024 16:24:34 +0200
Subject: [PATCH] Add `github-token`

---
 .github/actions/pr-comment/action.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/actions/pr-comment/action.yml b/.github/actions/pr-comment/action.yml
index ff46d40310..9ff0509b9e 100644
--- a/.github/actions/pr-comment/action.yml
+++ b/.github/actions/pr-comment/action.yml
@@ -13,6 +13,7 @@ runs:
       with:
         run-id: ${{ github.event.workflow_run.id }}
         name: ${{ inputs.name }}
+        github-token: ${{ secrets.GITHUB_TOKEN }}
 
     - id: pr-number
       shell: bash