Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
Replace existing global search with search from requests page #1415
Change from directly using the fuzzy search API provided by
One thing that we lost in this switchover: highlighting of matched
Change from directly using the fuzzy search API provided by `fuzzy` to the existing custom one used in the search bar on the Requests page. This did preserve using the existing `react-typeahead` element, rather than switching to the `react-select` element. One thing that we lost in this switchover: highlighting of matched characters. The search on the requests page doesn't use or emit that data, so it no longer comes into the global search. We also aren't as yet using the full potential of the global search - for example, you can't search by the deploy user, and you can't toggle searching by status.