docs(tools): index pull request edit wrapper #1200

Merged
Mos merged 1 commits from fix/main-red-tools-index into main 2026-08-13 14:50:38 +00:00
@@ -33,6 +33,7 @@ supply it explicitly on any host where the provider CLI's default account is an
| Pull requests | |
| ---------------- | --------------------------------------------------------- |
| `pr-create.sh` | Open a pull request |
| `pr-edit.sh` | Edit PR title, body, base branch, or draft/ready state |
| `pr-view.sh` | Show one PR |
| `pr-list.sh` | List PRs |
| `pr-diff.sh` | Fetch a PR's diff |