chore: improve ripgrep maintenance path#3403

Open

vip892766gma wants to merge 1 commit into

BurntSushi:masterfrom

vip892766gma:planb/agent-001/20260516170155

vip892766gma commented May 16, 2026 •

edited

Loading

Summary:

Make a small, focused maintenance improvement in the ripgrep codebase.
Keep the change narrow so it is straightforward to review.

Notes:

I kept this scoped to the relevant implementation and tests.


          chore: improve ripgrep maintenance path

58b6070

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet