Indexer behavior #39

New issue

Copy link

New issue

Copy link

Open

#40

Open

Indexer behavior#39

#40

Copy link

Labels

enhancementNew feature or requestNew feature or request

Description

mkrd

opened on Nov 17, 2022

Issue body actions

• Instead of only indexing the key that was not found by the indexer, do a full indexing of all keys since full file was read anyways

Reactions are currently unavailable

Metadata

Metadata

Assignees

No one assigned

Labels

enhancementNew feature or requestNew feature or request

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions

• Open in GitHub Copilot app