What if GitHub had vector search?
manticoresearch.com
manticoresearch.com
I'm curious how this compares performance-wise, especially when it comes to large repositories with tons of issues and PRs. Also, how scalable is it? I feel like semantic search has a lot of potential here, but does anyone know if GitHub itself has plans to integrate something similar?