4 ms·
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.
by spinlock 13y 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.
- lukeschlather 13y agoWhere 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.
- gatehouse 13y agoIt 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&type=Code https://github.com/django/django/search?q=modelchoicefield&t...