Hacker News new | ask | show | jobs
by 882542F3884314B 741 days ago
https://grep.app/ is similar and seems to return results, but I have not compared it to native GitHub search.