search

kimchi-project / gingerbase

Gingerbase: basic host management for WoK
Other
47 stars 25 forks source link

Add filter for repositories #136

Closed alinefm closed 7 years ago

alinefm commented 8 years ago

It should be good to have a way to filter the repositories so the user can easily grab only to work on.