3 ms·
We tried. But github search is such a joke that it's basically impossible to navigate; hence looking for something else now
by arianvanp 6y ago
We tried. But github search is such a joke that it's basically impossible to navigate; hence looking for something else now
- marvinblum 6y agoTry Emvi [1]. We put a strong focus on search. [1] https://emvi.com/ https://emvi.com/
- ravenstine 6y agoThat's also been my experience. To be fair, most of today's search engines suck really bad. No exact match, no special symbols, no wildcards, etc. The power user had better tools at their disposal back in 1999.