Skip to content

ci: Use GitHub app instead of bot#196

Merged
isaacvando merged 2 commits into
mainfrom
switch-to-github-app
May 6, 2026
Merged

ci: Use GitHub app instead of bot#196
isaacvando merged 2 commits into
mainfrom
switch-to-github-app

Commits

Commits on May 6, 2026