Repository navigation

Unify concise search and grep output - #460

Merged

jlitola merged 9 commits into

mainfrom

jlitola/search-grep-header-footer-follow-up

Oct 7, 2026

Commits on Oct 6, 2026
- docs: record search and grep header footer follow-up
  jlitola
  committed
  c700433
- docs: design shared search and grep headers and footers
  jlitola
  committed
  01994df
- docs: revise result headlines toward plain language
  jlitola
  committed
  5c3f1fd
Commits on Oct 7, 2026
- docs: constrain repeated result output prose
  jlitola
  committed
  883d104
- Merge remote-tracking branch 'origin/main' into jlitola/search-grep-header-footer-follow-up
  jlitola
  committed
  8d4ae79
- fix: unify concise search and grep output
  jlitola
  committed
  ed6a089
- fix: scope empty grep cursor pages accurately
  jlitola
  committed
  899fabc
- test: prove cursor headlines beside traversal limits
  jlitola
  committed
  384e9c2
- docs: retire completed search and grep output plan
  jlitola
  committed
  9d9c72d