Dasoren

Repo file search

7

Would it be possible to add in a search option like github so that I can put in a string and any file in the selected repo will show, maybe...