Suggest repository names while trying to filter by repo #9780
Unanswered
Jackenmen
asked this question in
Code Search and Navigation
Replies: 1 comment
-
Thanks for the feedback. We do suggest repos when you type |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Before
![image](https://user-images.githubusercontent.com/6032823/148546547-349b3097-3ea9-403a-8349-fbfbe415d1e5.png)
cs.github.com
, I was a big user ofgrep.app
. After typing out the query,grep.app
, same ascs.github.com
, allows you to filter by the repository. But unlikecs.github.com
, it is much easier to work with as you don't need to know the exact name of the owner and repository - as you type, grep.app further filters the results and suggest the repository names to filter by:Being able to see the results filtered by partial repository name is certainly nice but I think it would be enough if GitHub just showed repository name suggestions as you type so that you don't have to know how exactly the repository is called. And it also could save you some keystrokes :)
Beta Was this translation helpful? Give feedback.
All reactions