2 ms·Anyone using github search as a replacement for the discontinued Google code search service?by drorweiss 13y agoAnyone using github search as a replacement for the discontinued Google code search service?