infra: switch sync-motoko to pr-automation-bot-public GitHub App#197

Merged

marc0olo merged 3 commits intomainfrom

infra/pr-automation-bot-motoko-sync

May 5, 2026

Commits on May 5, 2026

infra: switch sync-motoko to pr-automation-bot-public GitHub App
marc0olo
committed
fix(sync-motoko): drop unnecessary git remote set-url
marc0olo
committed
fix(sync-motoko): use client-id and pin create-github-app-token to v3.1.1
marc0olo
committed