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

marc0olo merged 2 commits intomaindfinity/developer-docs:mainfrom

infra/switch-syntax-grammars-to-app-tokendfinity/developer-docs:infra/switch-syntax-grammars-to-app-tokenCopy head branch name to clipboard