Search repos by name

Given a long list of repositories, one can search for them instead of scroll.