Search for File by File Name

Hello,

Is it possible to search for a file within a repository by filename (either within the repository or code search functionality) ? Within GitHub for instance, this can be done by inputting filename: into the search bar, and results will be filtered by that filename provided. I’ve done some research for this regarding Gitea unsuccessfully. If this is possible, please provide the syntax.

Thanks

Is there any development in this direction? I too need the be able to search for files by name, as my gitea server is built for one project with 5 repositories. It is a library of things, so I need to be able to search with in the repos.

I found a solution, that can be found here:

https://docs.gitea.io/zh-cn/repo-indexer/