diff options
author | Andrew Gallant <jamslam@gmail.com> | 2022-08-17 08:30:47 -0400 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2022-08-17 08:31:22 -0400 |
commit | 387df97d85291f75511dc77329395931af348b34 (patch) | |
tree | 9d1daac3914245684582d5ebc1d271a9b8f919be | |
parent | a9d97a1dda0a07a8e55b2aa9b95690a4634e4874 (diff) |
ripgrep: add /.github/ to whitelist
It's pretty common to want to search this, since it defines the CI
configuration of the project.
-rw-r--r-- | .ignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.ignore b/.ignore new file mode 100644 index 00000000..19022145 --- /dev/null +++ b/.ignore @@ -0,0 +1 @@ +!/.github/ |