From cd5cea9e9cc5c5d1becfecb3060fe38589ba00e1 Mon Sep 17 00:00:00 2001
From: Copilot <198982749+Copilot@users.noreply.github.com>
Date: Tue, 27 Jan 2026 12:52:00 -0800
Subject: [PATCH] Configure SpecBot workflow to use BOT_PAT for pull request
 authentication (#8398)

* Initial plan

* Add GH_TOKEN env variable with BOT_PAT to SpecBot workflow

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/specbot.lock.yml | 3 +++
 .github/workflows/specbot.md       | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/.github/workflows/specbot.lock.yml b/.github/workflows/specbot.lock.yml
index 25ecd9a06..9dda9670d 100644
--- a/.github/workflows/specbot.lock.yml
+++ b/.github/workflows/specbot.lock.yml
@@ -44,6 +44,9 @@ concurrency:
 
 run-name: "Specbot"
 
+env:
+  GH_TOKEN: ${{ secrets.BOT_PAT }}
+
 jobs:
   activation:
     runs-on: ubuntu-slim
diff --git a/.github/workflows/specbot.md b/.github/workflows/specbot.md
index d04febab5..66400c1b3 100644
--- a/.github/workflows/specbot.md
+++ b/.github/workflows/specbot.md
@@ -16,6 +16,9 @@ on:
 
 roles: [write, maintain, admin]
 
+env:
+  GH_TOKEN: ${{ secrets.BOT_PAT }}
+
 permissions:
   contents: read
   issues: read