From 387df97d85291f75511dc77329395931af348b34 Mon Sep 17 00:00:00 2001 From: Andrew Gallant Date: Wed, 17 Aug 2022 08:30:47 -0400 Subject: [PATCH] ripgrep: add /.github/ to whitelist It's pretty common to want to search this, since it defines the CI configuration of the project. --- .ignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 .ignore diff --git a/.ignore b/.ignore new file mode 100644 index 00000000..19022145 --- /dev/null +++ b/.ignore @@ -0,0 +1 @@ +!/.github/