fix(web): multi-PR badges open the linked pull requests panel (#13211)

0fcd5f9061oliver committed on 9/30/2026, 12:40:55 AM· committed by GitHubparent2a23c30
4 files changedLine totals unavailable