Add Repository filter back to global issue/pull dashboard

[6543]

as per #28304 (comment) it was removed because of bad UX design and speed regressions -> #28304

I propose to have some basic filter for repositories (it does not need to count the issues etc ...) something like a multi-select dropdown