feat(web): pull request list and detail polish - #217

Merged

badcuban merged 13 commits into

mainfrom

feature/pull-requests-polish

Sep 3, 2026

Commits on Sep 3, 2026

docs: pull requests step 6 polish spec
badcuban
committed
1e83f09
feat(server): pull request avatars and merge state on list rows
badcuban
committed
43c4e2e
feat(web): pull request list avatars, label pills, check glyphs, and menus
badcuban
committed
92f5396
feat(web): pull requests open as tabs, with a rebuilt detail header
badcuban
committed
c59bf1d
fix(web): pull request rows drop pills and repo when the list is narrow
badcuban
committed
2078a4f
fix(web): pull request review fixes for selection identity, tabs, menus, and phone rows
badcuban
committed
4f94757
feat(web): needs-you asks for write access, and review state is a glyph
badcuban
committed
17ba6a9
docs: row review state is a glyph
badcuban
committed
86c86d9
fix(web): checks summary scrolls only the pull request Summary
badcuban
committed
fa48886
fix(web): merge dialog checkbox row keeps the dialog's padding
badcuban
committed
f66dff0
fix(web): merge dialog comment sits outside the JSX branch
badcuban
committed
616c975
feat(web): running checks pulse gently
badcuban
committed
8cd27e9
feat(web): checks list draws a running check as the same amber dot
badcuban
committed
9a9256d