sindresorhus/refined-github
The issue has been closed
`repo-wide-file-finder` should appear on every repo page (except PR Files) #3878
fregante posted onGitHub
Initial feature history: https://github.com/danedavid/refined-github/commits/3a7c6b13649b9da0a4a9c3126078f0a3c24235f9/source/features/repo-wide-file-finder.tsx
It was supposed to be enabled everywhere but then it was mistakenly limited in f39a921
(#2825)
It should be restored on all repository pages (except PR files and the file finder itself)