3 ms·
It would be great if this used the same filter format as sourcegraph and other internal code search tools. ex. -file:.html is enough to filter away files ending
by esprehn 5y ago
It would be great if this used the same filter format as sourcegraph and other internal code search tools. ex. -file:.html is enough to filter away files ending in html in the main search box.
Having to use dropdowns and multiple input fields is more cumbersome than the filter language of repo:, file:, lang: etc.
- dstaheli 5y agoHere are the details of that syntax: https://cs.github.com/about/syntax https://cs.github.com/about/syntax