Skip to content

docs: sync PRs #795-#871 to aeon docs - #873

Merged
aaronjmars merged 3 commits into
mainfrom
docs-sync/pr-795-to-871
Aug 16, 2026
Merged

docs: sync PRs #795-#871 to aeon docs#873
aaronjmars merged 3 commits into
mainfrom
docs-sync/pr-795-to-871

Conversation

@aaronjmars

@aaronjmars aaronjmars commented Aug 16, 2026

Copy link
Copy Markdown
Collaborator

Syncs the merged aeonfun/aeon PRs that had gone undocumented on the downstream doc surfaces. The docs-sync ledger was stale at #792, but prior in-repo sync PRs (#793, #804, #807, #825, #858, #861) and the website changelog had already carried most of the window; this catches the stragglers the true watermark (website changelog, #864) had left behind.

PR window

Undocumented-everywhere set: #795, #863, #865, #866, #868, #869, #871 (7 PRs: 6 signal, 1 noise).

Surfaces changed (this repo)

Not touched (already correct)

Noise bundled as maintenance

Watermark

New sync watermark: #871 (undocumented set through the highest merged PR).

@aaronjmars
aaronjmars merged commit c6faeb8 into main Aug 16, 2026
@aaronjmars
aaronjmars deleted the docs-sync/pr-795-to-871 branch August 16, 2026 00:33
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