I have found a bug with github.com where file name search does not work if you press the back button after opening a file from the search. To reproduce:
- Go to any repository and open the file name search (i.e. press the
tkey on Windows).
- Search for a file name, click on it to open that file.
- Press the browser back button and change your search term to something completely different. (It HAS to be a different search term.) The search will not find relevant (or any) results.
- Refresh the page and use the same search term that did not return results in Step 3. The search returns relevant results this time.
I have reproduced this with multiple repositories.