4 ms·
I'd gotten used to cloning git repos and grepping instead of using github's search. The new search is a great improvement over that.
by jeppester 3y ago
I'd gotten used to cloning git repos and grepping instead of using github's search.
The new search is a great improvement over that.