Use ripgrep (rg) instead of grep where available#348

Open

rameshsanth wants to merge 4 commits intoludovicchabant:masterfrom rameshsanth:master

+7-1

Commits on Apr 21, 2023

Use ripgrep (rg) instead of grep where available
rameshsanth
committed

Commits on Aug 25, 2023

Commits on Aug 26, 2023

change --noconfig to --no-config
rameshsanth
committed