-
Notifications
You must be signed in to change notification settings - Fork 1.7k
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
Use the milli's heed dependency #2228
Conversation
Resolved merge conflicts in PR |
hey @psvnlsaikumar ! Thanks so much for contributing! Could you squash all your commits into one please? |
Don't merge that @MarinPostma, at least not before we release version v0.23.1 of milli. |
sha2 = "0.9.6" | ||
meilisearch-error = { path = "../meilisearch-error" } | ||
serde_json = { version = "1.0.67", features = ["preserve_order"] } | ||
time = { version = "0.3.7", features = ["serde-well-known", "formatting", "parsing", "macros"] } | ||
rand = "0.8.4" | ||
serde = { version = "1.0.130", features = ["derive"] } | ||
thiserror = "1.0.28" | ||
milli = { git = "https://github.com/meilisearch/milli.git", tag = "v0.22.1" } |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
milli = { git = "https://github.com/meilisearch/milli.git", tag = "v0.22.1" } | |
milli = { git = "https://github.com/meilisearch/milli.git", tag = "v0.22.1" } |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Could you add a new line here, please? And change the version to v0.23.1, I will release the new version of milli this week.
@psvnlsaikumar, I need this merged ASAP, so what I am gonna do is merge this branch into another branch, make my fixes there, and merge it in main afterward. This way your work will be present in main, while I get my merge on time :) Thanks again for your contribution :) |
Sure @MarinPostma . That works. I was going to get the work done tonight. But if you are going to take care of it then sure. FYI, the version of milli is to updated once we have the newer version or milli with the recent changes( export of heed) available. Just for clarification, this PR will not be merged since the changes will be pushed from a seperate PR that you raise, correct? |
@psvnlsaikumar yes, that should be done this afternoon |
Pull Request
What does this PR do?
Fixes #2210
This PR (meilisearch/milli#464) is to be merged before approving this.
PR checklist
Please check if your PR fulfills the following requirements:
Thank you so much for contributing to Meilisearch!