Skip to content

Add github Tool (gh CLI) with per-user identity delegation - #90

Merged
imaustink merged 7 commits into
mainfrom
github-cli-tool
Jul 26, 2026
Merged

Add github Tool (gh CLI) with per-user identity delegation#90
imaustink merged 7 commits into
mainfrom
github-cli-tool

Extract runTool's per-caller identity gate into one shared helper

ed67e30
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar