From 780e3f94ef671399c65ff53c0e81737b9ee7c6dc Mon Sep 17 00:00:00 2001
From: Josh <josh.t.richards@gmail.com>
Date: Sun, 5 Apr 2026 22:53:09 -0400
Subject: [PATCH] chore: re-add accidentally dropped comments

Signed-off-by: Josh <josh.t.richards@gmail.com>
---
 .github/workflows/command-pull-3rdparty.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/command-pull-3rdparty.yml b/.github/workflows/command-pull-3rdparty.yml
index 36db751b8fe..52e63608b13 100644
--- a/.github/workflows/command-pull-3rdparty.yml
+++ b/.github/workflows/command-pull-3rdparty.yml
@@ -33,6 +33,9 @@ jobs:
           comment-id: ${{ github.event.comment.id }}
           reactions: '+1'
 
+      # issue_comment events carry no pull_request context in their payload, so we
+      # must fetch the PR via the API. This also gives us base.ref for free, avoiding
+      # a second API call. The GITHUB_TOKEN needs pull-requests:read (granted above).
       - name: Get pull request metadata
         uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8.0.0
         id: get-pr