Move github-app token minting to activation job#24251

Merged

pelikhan merged 6 commits intomainfrom

copilot/move-token-mint-steps-activation-job

Apr 3, 2026

Commits on Apr 3, 2026

move github-mcp app token minting to activation job

Copilot
and
pelikhan
authored
Merge branch 'main' into copilot/move-token-mint-steps-activation-job
pelikhan
authored
migrate safe-outputs.github-app and on.github-app token minting to activation job

Copilot
and
pelikhan
authored
revert safe-outputs.github-app migration: keep token minting in safe_outputs job

Copilot
and
pelikhan
authored
migrate checkout github-app token minting to activation job

Copilot
and
pelikhan
authored
add compiler assertion: agent job must not mint GitHub App tokens

Copilot
and
pelikhan
authored