From 8783a05551ba9fdc741109e4f6c776d3688446cf Mon Sep 17 00:00:00 2001
From: Valentin Gatien-Baron <valentin.gatienbaron@gmail.com>
Date: Thu, 11 Jan 2024 14:11:56 -0500
Subject: [PATCH] doc: suggest ripgrep as an equivalent of `git grep`

Sadly, ripgrep won't honor the .gitignore files in the absence of a
.git directory, so we need to pass an annoying flag (for non-colocated
repos).

That seems worth adding despite the existing suggestion, because rg is
faster, and for existing users for rg, it would teach them how to make
rg work as expected.
---
 docs/git-comparison.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/git-comparison.md b/docs/git-comparison.md
index a6fc2b2b1..ffc1c9cfe 100644
--- a/docs/git-comparison.md
+++ b/docs/git-comparison.md
@@ -190,7 +190,7 @@ parent.
     </tr>
     <tr>
       <td>Search among files versioned in the repository</td>
-      <td><code>grep foo $(jj files)</code></td>
+      <td><code>grep foo $(jj files)</code>, or <code>rg --no-require-git foo</code></td>
       <td><code>git grep foo</code></td>
     </tr>
     <tr>