Use ADMIN_PAT for baseline update push to bypass branch protection

andimarek · claude · andimarek · commit bd5d21bcbcc3 · 2026-03-07T07:03:57.000+10:00
The default GITHUB_TOKEN cannot push to master when required status
checks are enabled, since the new commit has never had checks run on it.
An admin PAT bypasses this restriction.

Co-Authored-By: Claude Opus 4.6 &lt;noreply@anthropic.com&gt;
diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml
@@ -110,6 +110,8 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v6
+        with:
+          token: ${{ secrets.ADMIN_PAT }}
       - name: Download Test Stats
         uses: actions/download-artifact@v4
         with:
