To my tech bros, just found this super quick GitHub search engine. Enjoy..

https://grep.app/