Skip to content

[pull] main from facebook:main - #476

Merged
pull[bot] merged 3 commits into
code:mainfrom
facebook:main
Aug 23, 2026
Merged

[pull] main from facebook:main#476
pull[bot] merged 3 commits into
code:mainfrom
facebook:main

Conversation

@pull

@pull pull Bot commented Aug 23, 2026

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 : )

etrepum and others added 3 commits August 23, 2026 14:00
…mportExtension rule evaluation order (#9089)

Co-authored-by: Claude <noreply@anthropic.com>
…code blocks keep the caret and their own attributes (#9056)

Co-authored-by: Bob Ippolito <bob@redivi.com>
@pull pull Bot locked and limited conversation to collaborators Aug 23, 2026
@pull pull Bot added the ⤵️ pull label Aug 23, 2026
@pull
pull Bot merged commit 3984d88 into code:main Aug 23, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants