docs(#2440): fix ADR 0047 heading to match convention - #2442
Conversation
The heading used `# ADR 0047: Vendored installs with --vendor` but all other ADRs use `# <number>. <title>` without the ADR prefix or zero-padded number. Updated to `# 47. Vendored installs with --vendor` for consistency. Note: pre-commit could not run in sandbox due to shellcheck network error (exit 3). Post-script will run authoritatively. Closes #2440
E2E tests did not runE2E tests run automatically for org/repo members and collaborators on pull requests. For other contributors, a maintainer must add the See E2E testing guide for details. |
Site previewPreview: https://ccd55f4c-site.fullsend-ai.workers.dev Commit: |
|
🤖 Finished Review · ✅ Success · Started 6:22 PM UTC · Completed 6:29 PM UTC |
Codecov Report✅ All modified and coverable lines are covered by tests. 📢 Thoughts on this report? Let us know! |
|
Looks good to me Labels: PR fixes ADR documentation formatting |
|
🤖 Finished Retro · ✅ Success · Started 7:35 PM UTC · Completed 7:42 PM UTC |
Retro: PR #2442 — fix ADR 0047 heading formatThis was a clean, efficient end-to-end workflow for a trivial 1-line documentation fix. Issue #2440 (ADR heading format inconsistency) was filed by a human, triaged, coded, reviewed, and merged in ~1.5 hours with zero rework iterations. Timeline: Issue filed (17:53) → triage confirmed (18:06) → code agent PR opened (18:17) → review agent approved (18:29) → human approved (19:18) → merged (19:30). No new proposals. The workflow executed correctly at every stage. The main observation — that running the full triage/code/review/retro pipeline on a trivial cosmetic fix has token overhead — is already covered by existing open issues: |
The heading used
# ADR 0047: Vendored installs with --vendorbut all other ADRs use# <number>. <title>without the ADR prefix or zero-padded number. Updated to# 47. Vendored installs with --vendorfor consistency.Note: pre-commit could not run in sandbox due to shellcheck network error (exit 3). Post-script will run authoritatively.
Closes #2440
Post-script verification
agent/2440-fix-adr-heading-format)4d83c42a66139ae7018c86c21aed897121bc9366..HEAD)