Add JS-based filtering to the developer reports

This can use the todolist filtering functions we made more generic in a
previous commit.

Signed-off-by: Dan McGee <dan@archlinux.org>

1 files changed, 4 insertions, 0 deletions

diff --git a/devel/views.py b/devel/views.py
index 5406974e..23ff9f74 100644
--- a/devel/views.py
+++ b/devel/views.py
@@ -271,11 +271,15 @@ def report(request, report_name, username=None):
     else:
         raise Http404
 
+    arches = set(pkg.arch for pkg in packages)
+    repos = set(pkg.repo for pkg in packages)
     context = {
         'all_maintainers': maints,
         'title': title,
         'maintainer': user,
         'packages': packages,
+        'arches': sorted(arches),
+        'repos': sorted(repos),
         'column_names': names,
         'column_attrs': attrs,
     }