Skip to content

Skip ripgrep apt install when rg already exists - #51915

Merged
pelikhan merged 3 commits into
mainfrom
copilot/skip-ripgrep-install-when-available-again
Aug 11, 2026
Merged

Skip ripgrep apt install when rg already exists#51915
pelikhan merged 3 commits into
mainfrom
copilot/skip-ripgrep-install-when-available-again

Commits

Commits on Aug 11, 2026