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

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

e5dc802
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar