From 036047f725bd0481669e1217a57b25cfb548c0db Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 12 Mar 2026 18:12:34 +0000
Subject: [PATCH 1/2] Initial plan


From f8a8d62587404c4e361367ea1c6881ceeb1bc85c Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 12 Mar 2026 18:18:45 +0000
Subject: [PATCH 2/2] Fix mark-prs-ready-for-review workflow: use
 GH_AW_GITHUB_TOKEN for GraphQL mutation

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/mark-prs-ready-for-review.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/mark-prs-ready-for-review.yml b/.github/workflows/mark-prs-ready-for-review.yml
index 225d4a005..4e19bdafa 100644
--- a/.github/workflows/mark-prs-ready-for-review.yml
+++ b/.github/workflows/mark-prs-ready-for-review.yml
@@ -18,6 +18,7 @@ jobs:
       - name: Mark all draft pull requests ready for review
         uses: actions/github-script@ed597411d8f924073f98dfc5c65a23a2325f34cd # v8
         with:
+          github-token: ${{ secrets.GH_AW_GITHUB_TOKEN || secrets.GITHUB_TOKEN }}
           script: |
             async function markReady(nodeId, number, title) {
               core.info(`Marking PR #${number} "${title}" ready for review.`);