3 ms·

what? Github has a separate search for filenames. It's called the 'file finder' and is activated by pressing 't' when viewing a repo.