Implanting GitHub repo search.