pull down to refresh

Workaround: Use https://grep.app (it's usually better than GH code search anyway)
Cool, didn’t know about that site, thanks
reply