At some point in the last year I stopped being able to find the “search for a file” function on GitHub’s mobile site. On the desktop website you can hit “t” fro

At some point in the last year I stopped being able to find the “search for a file” function on GitHub’s mobile site. On the desktop website you can hit “t” from a repo page to quickly search for a file by filename. The mobile website used to have a button labeled “Jump to file” or similar, but now I can’t find that functionality anywhere.