The worst thing about github searches is that it only shows the first result for each file, often that's not the interesting result. I almost never use github's

The worst thing about github searches is that it only shows the first result for each file, often that's not the interesting result. I almost never use github's search and instead clone the repository locally and use ripgrep on it (or git grep)