Just a vague thought I had that something along these lines might be useful. Maybe something like a summary with the top ~5 topics ordered by number of PRs on the #queue and then an expandable <details> tag containing the full list, along with links that apply the corresponding topic label filter to the #queue table.
Just a vague thought I had that something along these lines might be useful. Maybe something like a summary with the top ~5 topics ordered by number of PRs on the #queue and then an expandable
<details>tag containing the full list, along with links that apply the corresponding topic label filter to the #queue table.