Engineering How GitHub Docs’ new search worksGitHub Docs recently changed its site-search to Elasticsearch. Here’s how it was implemented. March 9, 2023