Skip to content
This repository has been archived by the owner on Dec 28, 2017. It is now read-only.

Add hint for index #180

Open
birdstorm opened this issue Dec 5, 2017 · 4 comments
Open

Add hint for index #180

birdstorm opened this issue Dec 5, 2017 · 4 comments
Assignees

Comments

@birdstorm
Copy link
Contributor

Should add an option to use index as priority.

@ilovesoup
Copy link
Contributor

We actually want something like use_index(index_name)

@birdstorm
Copy link
Contributor Author

ic, should I close the two pull requests?

@ilovesoup
Copy link
Contributor

you can either close it or modify on it. @birdstorm

@birdstorm
Copy link
Contributor Author

Got it, I will modify on it. @ilovesoup

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

2 participants