repo filter speedup; moved manual add button to top
Merge pull request #98 from jaredly/repo-filter

repo filter speedup; moved manual add button to top