Does the search user.rb in:path do what you want to do?
Alternatively there is also this search filename:user.rb
Found on: https://help.github.com/articles/searching-code/
Answer from Orangenhain on Stack OverflowDoes the search user.rb in:path do what you want to do?
Alternatively there is also this search filename:user.rb
Found on: https://help.github.com/articles/searching-code/
In search input, you can use filename parameter to search in multiple repositories, for example:
filename:my_filename.txt
If you're looking for a filename in specific repository, you can just press t and start typing the file name (see: GH keyboard shortcuts).
How to CTRL-F within a repository?
Keyboard shortcut to commit new file on Github
Maybe this will help.
It seems to only work when the summary or field description is active
https://docs.github.com/en/desktop/installing-and-configuring-github-desktop/overview/keyboard-shortcuts
More on reddit.com