fix(web): deduplicate PR project filter choices (#9948)

e5a87e8b9cJulius Marminge committed on 9/5/2026, 6:10:18 AM· committed by GitHubparent2fa5ef4
5 files changedLine totals unavailable