Github search sucks (and how it could be better)

Hi ! I'm reporting this as I've noticed for quite a while that github search feature is not the feature needed by a developer. I often find myself cloning the repository and using grep recursively or on a specific directory. Advanced search is just plain confusing and takes too many steps to access. Example: 1) When searching from the /src directory the search is launched on the whole repo 2) When searching for a common term only 10 results are displayed Expected behavior: 1) The search is launched on the /src directory 2) The search displays more results with less code around the search term (see first post) A few suggestions: - Enable search on specific directories from the search bar ("This repository" button) - Replace the search feature with a UI version of grep ? - Display more results and less code around search term (maybe an expand button) - Advanced search terms on the search result page Thanks! Note, Upvote this on HN: https://news.ycombinator.com/item?id=13935370 :)

Posted by RenaudWasTaken on Mar 22, 2017, 9:53 PM

Tags

• ux (Software)

Related issues

• This is the biggest problem with contracts, there's simply no way to actually say "please always execute this check".
• I don't disagree with you on this, I worked my whole life in corporate and haven't worked as a OSS maintainer before, though I will _and ...
• the new VSCode UI, looks cute, i don't like it.
• I've been working on my own private harness for the past 8 months, and I've been collecting ideas from such repos I've stumbled upon.
• The way AI is able to interact with outside resources is pretty impressive, but the quality of code it produces to me is still questionab...
• Add PR-style review comments in Git Diff UI that feed into the active agent thread