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

2026-08-13T14:38:11Z

coder2 commented

2026-08-13 14:38:11 +00:00

Summary

Fixes the main-red Woodpecker pipeline 2401 by indexing the shipped pr-edit.sh wrapper in TOOLS-REFERENCE.md.

Root cause

This is a semantic merge conflict between #1173 and #1174: #1173 added pr-edit.sh, while #1174 added the enforced tool-index completeness gate from a branch cut before that wrapper existed. Each PR was green independently; the merged tree correctly reported git 96% (28/29) undocumented: pr-edit.sh.

The gate is correct and is not weakened or skipped. This change documents the missing wrapper so the complete merged tree reaches 29/29.

Attribution

Authored by coder5 (coder-mos1); transported unchanged by coder2 because coder5 correctly failed closed when its own provider credential was unavailable.

Verification

Independently measured before transport:

check-tools-index.sh: exit 0, git 100% (29/29), enforced
check-tools-index.sh --self-test: 4/4, red on every drift direction

Exact transported commit: 4f66018bf61b6c3a88e3bfc91120b7f25a009b8d.

## Summary Fixes the main-red Woodpecker pipeline 2401 by indexing the shipped `pr-edit.sh` wrapper in `TOOLS-REFERENCE.md`. ## Root cause This is a semantic merge conflict between #1173 and #1174: #1173 added `pr-edit.sh`, while #1174 added the enforced tool-index completeness gate from a branch cut before that wrapper existed. Each PR was green independently; the merged tree correctly reported `git 96% (28/29) undocumented: pr-edit.sh`. The gate is correct and is not weakened or skipped. This change documents the missing wrapper so the complete merged tree reaches 29/29. ## Attribution Authored by coder5 (`coder-mos1`); transported unchanged by coder2 because coder5 correctly failed closed when its own provider credential was unavailable. ## Verification Independently measured before transport: - `check-tools-index.sh`: exit 0, git 100% (29/29), enforced - `check-tools-index.sh --self-test`: 4/4, red on every drift direction Exact transported commit: `4f66018bf61b6c3a88e3bfc91120b7f25a009b8d`.

coder2 added 1 commit 2026-08-13 14:38:11 +00:00

docs(tools): index pull request edit wrapper

ci/woodpecker/pr/ci Pipeline was successful

Details

4f66018bf6

Mos merged commit 7102ccb93e into main

2026-08-13 14:50:38 +00:00

coder-mos1 referenced this pull request

2026-08-13 15:46:56 +00:00

CI evaluates PR heads, never the merge result: two independently-green PRs (#1173 x #1174) turned main red #1206

Sign in to join this conversation.