Git Manager Search

[Journeyman]

Hi

I’d like a facility to be able to search for a specific file within the git manager

Thank you