Commit 93b78fb
docs(tools): correct and widen the registry-only note
The previous note contrasted these five with "the user-facing tools added
alongside them", implying this branch added both. It did not: the branch
never touches blocks/blocks/github.ts, and github_create_pr_review came from
#5471, which predates staging. The real contrast is with every user-facing
GitHub tool in the registry.
Also records the governance consequence, which was the part actually worth
writing down: the permission-group deny list is built from tools.access, so
an admin cannot deny these from the UI, and the allowedIntegrations gate
keys on block type while Babysit calls them with a tool id alone.
Co-Authored-By: Claude <noreply@anthropic.com>1 parent e768176 commit 93b78fb
1 file changed
Lines changed: 13 additions & 3 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
6289 | 6289 | | |
6290 | 6290 | | |
6291 | 6291 | | |
6292 | | - | |
| 6292 | + | |
| 6293 | + | |
| 6294 | + | |
| 6295 | + | |
6293 | 6296 | | |
6294 | | - | |
6295 | | - | |
| 6297 | + | |
| 6298 | + | |
| 6299 | + | |
| 6300 | + | |
| 6301 | + | |
| 6302 | + | |
| 6303 | + | |
| 6304 | + | |
| 6305 | + | |
6296 | 6306 | | |
6297 | 6307 | | |
6298 | 6308 | | |
| |||
0 commit comments