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

Support multiple Github repositories and support indexing of multiple file types #250

Merged
merged 4 commits into from
Jun 27, 2023

Conversation

sabaimran
Copy link
Member

Incoming

  • Add support for indexing multiple Github repositories
  • Add integration to read org files as well as markdown files in the plain text files from the repo
  • Render multiple file types in the Search view
  • Add support for configuring multiple repositories in the settings page
  • [Bonus] Add additional error handling in the chat window if the user hasn't configured their settings correctly

Closes #244 and begins #245

- Add support for indexing org files as well as markdown files from the Github repository and update corresponding search view
- Support indexing a list of repositories
… interface

- Add cards to configure each of the Github repositories
- Fix a bug in the API which caused all other settings to be wiped when updating one of the content types
- Provide an error message to the user if they have a misconfiguration in their chat settings
@sabaimran sabaimran requested a review from debanjum June 27, 2023 21:13
src/khoj/interface/web/index.html Show resolved Hide resolved
src/khoj/processor/github/github_to_jsonl.py Outdated Show resolved Hide resolved
src/khoj/utils/constants.py Outdated Show resolved Hide resolved
@debanjum debanjum added coverage Add content type to search and index upgrade New feature or request plugin Improvements or additions to content or UI integrations labels Jun 27, 2023
@sabaimran sabaimran merged commit c0d35ba into master Jun 27, 2023
4 checks passed
@sabaimran sabaimran deleted the features/github-multi-repo-and-more branch June 27, 2023 22:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
coverage Add content type to search and index plugin Improvements or additions to content or UI integrations upgrade New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Support multiple Github repositories
2 participants