tools: add github_pr_create, lex-code's first approval-gated tool - #152

Merged

alpibrupa merged 2 commits into

mainfrom

feat/github-pr-tool

Sep 8, 2026

Commits on Sep 8, 2026

tools: add github_pr_create, lex-code's first approval-gated tool

alpibrupa
and
claude
committed
56cd930
smoke: skip github_pr_create, same reason as the other side-effecting tools

alpibrupa
and
claude
committed
143c1ed