https://grep.app/ is a great alternative to github's current search engine.