Mastodon Toots du Jour (Feb 6) Feb 7, 2023 <1 min read The technology behind #GitHub’s new code search github.blog/2023-02-06-the-tec… # #github