repoview: fix the filter created by `extrafilter`

Merge request reports

Loading