chore: use custom GitHub App for update PRs so tests can run#25
Merged
niklashigi merged 2 commits intomainfrom Feb 20, 2026
Merged
chore: use custom GitHub App for update PRs so tests can run#25niklashigi merged 2 commits intomainfrom
niklashigi merged 2 commits intomainfrom