chore: improve ripgrep maintenance path#3403

vip892766gma wants to merge 1 commit into

BurntSushi:masterBurntSushi/ripgrep:masterfrom

vip892766gma:planb/agent-001/20260516170155vip892766gma/ripgrep:planb/agent-001/20260516170155Copy head branch name to clipboard