the current milestone facet sees all milestones in all repos, even those we never search from our configuration. how to hide the others? convert the repo filter to a repo query?
now that the parent child relationship properly works, this should be doable. for the facets, we would need to join on the repositories that are actually used
the current milestone facet sees all milestones in all repos, even those we never search from our configuration. how to hide the others? convert the repo filter to a repo query?