Skip to content

Docs: upstream PR review r3 (open 2949–3035, closed 2999) - #613

Merged
emmertex merged 4 commits into
mainfrom
upr/review-r3-doc
Oct 26, 2026
Merged

emmertex merged 4 commits into
mainfrom
upr/review-r3-doc

Conversation

@emmertex

Copy link
Copy Markdown
Owner

Records ADOPT / LEARN / SKIP for the upstream PRs not yet reviewed, and the fork state of #435 and storytold#1848 (both already in main; #435's reused field lands in fork #611).

🤖 Generated with Claude Code

…and storytold#1848 recorded

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@emmertex
emmertex enabled auto-merge October 26, 2026 08:03
@emmertex
emmertex merged commit 208ead0 into main Oct 26, 2026
5 checks passed
@emmertex
emmertex deleted the upr/review-r3-doc branch October 26, 2026 08:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant