github поиск

https://stackoverflow.com/questions/26433561/how-to-search-on-github-to-get-exact-string-matches-including-special-character

https://sourcegraph.com/search

Можно нажать . в любом репозитории GitHub, чтобы открыть его в онлайн-версии VSCode. Это должно сильно упростить поиск в вашем проекте

Или просто поменяй github.com/... на github.dev/... в адресной строке