feat(tui): role-colored gutter, delete-from-index, escape stripping, richer headers - #113
Closed
jugrajsingh wants to merge 4 commits into
Closed
feat(tui): role-colored gutter, delete-from-index, escape stripping, richer headers#113jugrajsingh wants to merge 4 commits into
jugrajsingh wants to merge 4 commits into
Commits
Commits on Jul 21, 2026
- committed
- committed
- committed
- committed
