fix(coding-agent): clarify compatibility token name

This commit is contained in:
Christian Klotz
2026-09-21 09:01:38 +02:00
parent 63047158e4
commit 851072dc06
@@ -106,7 +106,7 @@ jobs:
PI_SHA: ${{ github.event.pull_request.head.sha }}
PI_PR_NUMBER: ${{ github.event.pull_request.number }}
with:
github-token: ${{ secrets.PI_DEV_DISPATCH_TOKEN }}
github-token: ${{ secrets.PI_DEV_PAT }}
script: |
const sha = process.env.PI_SHA;
const [headOwner, headRepo, ...extraParts] = process.env.PI_REPOSITORY.split('/');