Git grep is really fantastic, if github search came close I'd be delighted