fix(web): retain terminal PR badges after checkout switch (#4755)

Co-authored-by: Julius Marminge <julius0216@outlook.com>
Co-authored-by: codex <codex@users.noreply.github.com>
d5465aebf2sebbonit committed on 8/15/2026, 12:07:51 PM· committed by GitHubparentd715c2e
4 files changedLine totals unavailable