[oefrha]

I believe the search there uses Sourcegraph, so you can also search directly at https://sourcegraph.com/search. E.g. https://sourcegraph.com/search?q=repo:github.com/nginx/nginx...