Added interface for repo search, and repo search now works