The grep drop-down works great for finding file content, but is there some way to find a file by name or glob from gitweb? Something along the lines of
find . -iname but the gitweb equivalent.
Not that I know of.
The "File Finder" introduced by GitHub (hit t in a GitHub project page) is not yet implemented in gitweb.