Anyone using github search as a replacement for the discontinued Google code search service?