Fixes #7691: Add repository filter to Errata list page.