lloydtao··on GitHub: Can no longer search code without being logged inironically, if i'm not mistaken, github.dev requires being logged in
lloydtao··on GitHub: Can no longer search code without being logged inas an alternative, you may add `1s` after `github` in your address bar to open the repository with a browser-based VS Code, and then use Ctrl + Shift + F to search across all files