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.

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

Add support for #files (workspace file map) context #495

Merged
merged 1 commit into from
Nov 16, 2024

Conversation

deathbeam
Copy link
Collaborator

@deathbeam deathbeam commented Nov 16, 2024

Support workspace file map context. This context will simply include all related filenames to the prompt in chat context. Useful for searching where something might be (but limited to only searching on filenames for now).

image

image

@deathbeam deathbeam added the enhancement New feature or request label Nov 16, 2024
@deathbeam deathbeam marked this pull request as ready for review November 16, 2024 10:47
@deathbeam deathbeam force-pushed the wekspace-map branch 2 times, most recently from 53bad6d to 4f2c9ae Compare November 16, 2024 11:05
@deathbeam deathbeam changed the title Add support for #workspace (workspace file map) context Add support for #files (workspace file map) context Nov 16, 2024
@deathbeam deathbeam force-pushed the wekspace-map branch 7 times, most recently from b073ee1 to f378a6e Compare November 16, 2024 13:47
@deathbeam
Copy link
Collaborator Author

image

debug info also contains file map now

@deathbeam deathbeam force-pushed the wekspace-map branch 2 times, most recently from 53d8cca to c50eecc Compare November 16, 2024 14:14
Support workspace file map context. This context will simply include all
related filenames to the prompt in chat context. Useful for searching
where something might be (but limited to only searching on filenames
for now).

Signed-off-by: Tomas Slusny <slusnucky@gmail.com>
@deathbeam deathbeam merged commit f791852 into CopilotC-Nvim:canary Nov 16, 2024
1 check passed
@deathbeam deathbeam deleted the wekspace-map branch November 16, 2024 20:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant