Skip to content

infra: switch update-syntax-grammars to pr-automation-bot-public GitHub App#202

Merged
marc0olo merged 2 commits into
mainfrom
infra/switch-syntax-grammars-to-app-token
May 5, 2026
Merged

infra: switch update-syntax-grammars to pr-automation-bot-public GitHub App#202
marc0olo merged 2 commits into
mainfrom
infra/switch-syntax-grammars-to-app-token

infra: add BOT_APPROVED_FILES policy for pr-automation-bot-public

c0fc775
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar