I wasn't talking about intra-project searches. But Github does have a search that allows us to put constraints on the results like how web search engines allowed a decade or more ago. This feature is pretty useful that it forms a big part of sourcegraph's business. I do use Google search, but I often end up with Github search when I need to locate a specific type of project.