Search whole site: site:github.com
Search title: GitHub - daattali/oldschool-github-extension: Revert GitHub's UI back to its classic look (before the June 23, 2020 update that has a flat, rounded and more whitespaced design).
See how to search.