git: select repo should allow searching

[yajo]

When I choose git: select repo from the command pallette, I cannot type the repo name. I have to scroll to select it.

When I have lots of repos, that becomes slow.

It'd be awesome to have a search box in that dialog.

Thanks!

[m-kalai]

Hi,
I love git capabilities in Zed but this is one thing which always bothers me when I work in project with many repos in it. It's very difficult to "select repo" without the search. I believe there should be search capability (could be opt-in?) same as in "switch" dropdown, where you can just start typing and it filters repos. It would improve UX for me (and hopefully for other people) dramatically.
I can even implement it if I get few pointers.