klaussilveira/gitlist — pull request #417 by khornberg (2014-02-10 23:15:25+00:00)
Title: Search repos by name

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