Skip to content

Support for updating index incrementally #13

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
Open
icycodes opened this issue Mar 15, 2023 · 0 comments
Open

Support for updating index incrementally #13

icycodes opened this issue Mar 15, 2023 · 0 comments
Assignees
@wsxiaoys @icycodes
Milestone
v0.1.0 Release

Comments

@icycodes
Copy link
Member

If the index needs to be updated for a repo, we delete old index first and rebuild index now.
We want to support for updating index incrementally.
Git revision saved in index dir may help. (#12)
@wsxiaoys wsxiaoys self-assigned this Mar 15, 2023
@wsxiaoys wsxiaoys added this to the v0.1.0 Release milestone Mar 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@wsxiaoys wsxiaoys

@icycodes icycodes

Labels
None yet
Projects
None yet
Milestone
v0.1.0 Release
Development

No branches or pull requests
2 participants
@wsxiaoys @icycodes