New search #4360

luk- opened this Issue Dec 20, 2013 · 3 comments


None yet
4 participants

luk- commented Dec 20, 2013

We should provide an optional search that uses's elastic search. It's faster and provides better results.


indexzero commented Apr 2, 2014

@rockbot I think this is fixed here

... closing these issues is sad.


smikes commented Jan 29, 2015

I don't believe this is fixed by the better elastic search on the website; I think the goal was (and still remains, long-term) to implement a command-line interface to the website search, to provide an overall consistent search experience.

@othiym23 othiym23 added the search label Jan 13, 2016


othiym23 commented Mar 21, 2016

Closing in favor of the many, many other issues we have open to improve search.

@othiym23 othiym23 closed this Mar 21, 2016

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment