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
Workaround: Use https://grep.app (it's usually better than GH code search anyway)