Improving GitHub code search

https://github.blog/2021-12-08-improving-github-code-search/