[pull] main from pingdotgg:main - #216

Merged

pull[bot] merged 14 commits into

LoganRupe:mainfrom

Sep 3, 2026

Commits on Sep 3, 2026

fix(web): send cited messages with Cmd+Enter (#9307)
extoci
authored
77e35c5
fix(web): preserve explicit preview navigation URLs (#8902)
nateEc
authored
098bf53
fix(web): prevent loading ssh environments from overriding navigation (#9168)
flamboh
authored
57626eb
fix(mobile): skip unsupported shared settings targets (#9381)
Lucenx9
authored
cfddb42
fix(web): avoid duplicate Antigravity install status (#9419)
RakshithBhat03
authored
2120fbc
fix(composer): mute fast icon when collapsed (#9451)
maria-rcks
authored
d4ba2a1
fix(web): unify skeleton loading animations on one pulse (#9448)
maria-rcks
authored
21b9dda
fix(web): prioritize authored pull requests (#9453)
maria-rcks
authored
645d585
fix(web): make project icons the default (#9457)
maria-rcks
authored
4e89d74
fix(server): reuse pr state when settling threads (#9459)
maria-rcks
authored
c78f05a
fix(web): keep agent images collapsed (#9460)
maria-rcks
authored
8bd544c
fix(web): banner buttons no longer expand the resting composer (#9452)
juliusmarminge
authored
126afb5
fix(web): stop clipping the traits chevron on long Codex effort labels (#9433)

zortos293
and
cursoragent
authored
d5825e1
fix(web): make right panel tabs easier to scroll (#9461)
maria-rcks
authored
46e8b1a