ripgrep: add /.github/ to whitelist

It's pretty common to want to search this, since it defines the CI configuration of the project.
2025-08-10 05:59:25 +02:00 · 2022-08-17 08:30:47 -04:00
parent a9d97a1dda
commit 387df97d85
1 changed files with 1 additions and 0 deletions
--- a/.ignore
+++ b/.ignore
@@ -0,0 +1 @@
+!/.github/