Skip to content

tools: add github_pr_merge, wait for CI then land a PR - #157

Merged
alpibrupa merged 1 commit into
mainfrom
feat/github-pr-merge
Sep 9, 2026
Merged

tools: add github_pr_merge, wait for CI then land a PR#157
alpibrupa merged 1 commit into
mainfrom
feat/github-pr-merge

Commits

Commits on Sep 9, 2026