3 ms·
> Way more than grep. Heck, it'd be nice if the current system right now at least did grep with users being able to toggle POSIX options. It doesn't even do th
by andrewmcwatters 4y ago
> Way more than grep.
Heck, it'd be nice if the current system right now at least did grep with users being able to toggle POSIX options. It doesn't even do that.
Instead, I have to clone the entire repo to do a trivial lookup. To be fair, supporting this would require GitHub to do the compute themselves, but I have no idea what they could possibly be doing right now that's more effective.