Merge pull request #3881 from waldenraines/filter-repos
Fixes #4821, content views allow inclusion/exclusion of repos via filter UI
Merge pull request #3881 from waldenraines/filter-repos
Fixes #4821, content views allow inclusion/exclusion of repos via filter UI