[colin353]

GitHub Code Search developer here - try creating a custom scope to filter out that stuff! Click on the scopes dropdown and scroll to the bottom. You can filter out HTML by using a query like:

NOT language:html

[esprehn]

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]

Here are the details of that syntax: https://cs.github.com/about/syntax

[jshier]

Ah, I was trying language:!html.

Would still be great to ignore my docs directory.

[p0]

You could do this with `-path:docs/` (or `NOT path:docs/`).