fix(web): show private repository media in pull request tabs - #11706

Merged

maria-rcks merged 11 commits into

pingdotgg:mainfrom

maria-rcks:fix/private-repo-pr-media

Sep 16, 2026

Commits on Sep 14, 2026

fix(web): show private repository media in pull request tabs

maria-rcks
and
claude
committed
dfd5009
fix(server): harden the GitHub media proxy and fall back to the direct URL

maria-rcks
and
claude
committed
7810e5a
fix(server): answer a refused GitHub media fetch without stalling the client

maria-rcks
and
claude
committed
47854df
perf(server): let a client keep GitHub media for as long as its signed URL lives

maria-rcks
and
claude
committed
6b1d1ba

Commits on Sep 16, 2026

fix(media): preserve fallback expansion and rejection headers
maria-rcks
committed
f83a936
style(server): format github media content type parsing
maria-rcks
committed
64cc05b
fix(server): keep media test layers within pipe limit
maria-rcks
committed
ae1c742
fix(assets): omit rejected media URLs from errors
maria-rcks
committed
3963b50
test(assets): encode media errors through effect schema
maria-rcks
committed
3da793b
fix(assets): retry private media credentials after login
maria-rcks
committed
f8e9e22
fix(web): preserve private pull request video timestamps
maria-rcks
committed
8e3f71f