From ffdeb3bbf136120a25140077d0295b3ff9d326d6 Mon Sep 17 00:00:00 2001 From: Vincent Ambo Date: Sun, 17 May 2020 23:58:22 +0100 Subject: chore: Only exclude //third_party/git from ripgrep The other third party folders are actually occasionally relevant. --- .rgignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.rgignore b/.rgignore index 76b510c710f0..6c19dfbda4bc 100644 --- a/.rgignore +++ b/.rgignore @@ -1 +1 @@ -third_party/ +third_party/git -- cgit 1.4.1