Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Ability to disable pre-indexed docs #3905

Open
2 tasks done
RomneyDa opened this issue Jan 30, 2025 · 0 comments
Open
2 tasks done

Ability to disable pre-indexed docs #3905

RomneyDa opened this issue Jan 30, 2025 · 0 comments
Assignees
@RomneyDa
Labels
area:indexing Relates to embedding and indexing kind:enhancement Indicates a new feature request, imrovement, or extension

Comments

@RomneyDa
Copy link
Collaborator

Validations

  • I believe this is a way to improve. I'll try to join the Continue Discord for questions
  • I'm not able to find an open issue that requests the same enhancement

Problem

Might not want to show pre-indexed docs when using @docs

Solution

Add a user setting "Show Preindexed Docs"
Easier to implement now that startUrls in config override preindexed startUrls
@dosubot dosubot bot added area:indexing Relates to embedding and indexing kind:enhancement Indicates a new feature request, imrovement, or extension labels Jan 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@RomneyDa RomneyDa

Labels
area:indexing Relates to embedding and indexing kind:enhancement Indicates a new feature request, imrovement, or extension
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@RomneyDa @tomasz-stefaniak