search

todogroup / gh-issues

A curated set of issues related to GitHub and running corporate scale open source
http://todogroup.org
25 stars 4 forks source link

Filename search in search UI #83

Closed hyandell closed 8 months ago

hyandell commented 1 year ago

Mentioning because I don't think I've ever flagged it before.

It's very frustrating to search in the top search bar for a filename, only to realize that's not one of the options available and you have to go to Goto File in the Explorer UI. Would love the main search to search on filenames too.

ahpook commented 8 months ago

I believe this is fixed with the new code search interface : https://docs.github.com/en/search-github/github-code-search/understanding-github-code-search-syntax#path-qualifier

ahpook commented 8 months ago

Closing as fixed, please reopen if I've misunderstood the issue.