Allow repository-specific / client-side ignore specifiers (kinda like .gitignore)
#3.103 aberto em 8 de abr. de 2020
Métricas do repositório
- Stars
- (4.060 stars)
- Métricas de merge de PR
- (Mesclagem média 2d 13h) (24 fundiu PRs em 30d)
Description
Is your feature request related to a problem? Please describe. We have multiple large projects that get grok'd. Different teams have different requirements for what they would like excluded from the grok index. It would be easier if we could just have the team add a .grokignore file in their repository to tell Grok what to ignore.
Describe the solution you'd like A file that lives inside the repository (such as .grokignore) that gets read by the indexer, and causes the indexer to ignore any files in the repository that match lines in that file.
Describe alternatives you've considered The alternative is the ignore switch on the indexer itself, but that is a server-side change, and would require relaunching of our service image - doable but not tennable.