News for hackers. Stuff that matters.
Re:Improving GitHub Code Search by esprehn on Wednesday December 08, 2021 @04:14PM (#29490609)
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.

Re:Improving GitHub Code Search by dstaheli on Friday December 10, 2021 @08:44AM (#29509718)
Here are the details of that syntax: https://cs.github.com/about/syntax