Cannot search any string in github.dev editor

[ninokin25]

Select Topic Area

Question

Body

Hi, GitHub support folks! 😆

I usually use github.dev to check a bit of code, but when I search for any text there, only the file that is currently open in a tab is searched...

Steps to Reproduce

1. open github.dev editor in the target GitHub repository (shortcut “>”).
2. search for text in the repository with github.dev editor.
3. then the search will not be executed for the entire repository, but only for the file currently open in the tab, and the results will be displayed.

When dealing with many repositories in development, this feature is used frequently, so I would love to see it improved so that the entire repository can be searched.

[fudik94]

Currently, in github.dev, the search feature works only for the file that is open in the tab. It does not search the whole repository yet.

If you want to search the entire repository, you can:

Open the repository on github.com (not github.dev).

Use the search bar at the top to search in the whole repository.

GitHub.dev is mainly for quick editing and small checks. Searching the entire repository is not fully supported there yet.