Skip to content

[pull] main from pingdotgg:main - #216

Merged
pull[bot] merged 14 commits into
LoganRupe:mainfrom
pingdotgg:main
Sep 3, 2026
Merged

[pull] main from pingdotgg:main#216
pull[bot] merged 14 commits into
LoganRupe:mainfrom
pingdotgg:main

Conversation

@pull

@pull pull Bot commented Sep 3, 2026 •
edited
Loading

Copy link
Copy Markdown

See Commits and Changes for more details.

Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

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

Co-authored-by: Cursor <cursoragent@cursor.com>
@maria-rcks
fix(web): make right panel tabs easier to scroll (#9461)
46e8b1a 
Co-authored-by: maria-rcks <254055478+maria-rcks@users.noreply.github.com>
@pull pull Bot locked and limited conversation to collaborators Sep 3, 2026
@pull pull Bot added the ⤵️ pull label Sep 3, 2026
@pull
pull Bot merged commit 46e8b1a into LoganRupe:main Sep 3, 2026
@github-actions github-actions Bot added size:XL vouch:trusted PR author is trusted by repo permissions or the VOUCHED list. labels Sep 3, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

No reviews

Assignees

No one assigned

Labels

⤵️ pull size:XL vouch:trusted PR author is trusted by repo permissions or the VOUCHED list.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

8 participants

@extoci @nateEc @flamboh @Lucenx9 @RakshithBhat03 @maria-rcks @juliusmarminge @zortos293