Hacker News new | ask | show | jobs
by spinlock 4527 days ago
You just made me realize that github needs better search. I like the presentation on github but, without git grep, I just pull it local and read from there.
2 comments

Where I work we have a well-maintained OpenGrok instance which works great.

I still end up pulling down the repo and using grep 90% of the time. OpenGrok is what I use when I don't even know which repo I'm interested in.

It is possible to search for a string within a repo but it isn't a grep replacement.

Example: https://github.com/django/django/search?q=modelchoicefield&t...