1
0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2025-07-25 01:01:57 -07:00

1 Commits

Author SHA1 Message Date
Andrew Gallant
387df97d85 ripgrep: add /.github/ to whitelist
It's pretty common to want to search this, since it defines the CI
configuration of the project.
2022-08-17 08:31:22 -04:00