Skip to content

Sync upstream dev into re-dev (2026-10-21, second): #1213 - #17

Merged
gedaiu merged 2 commits into
re-devfrom
sync/upstream-dev-2026-10-21b
Oct 22, 2026
Merged

gedaiu merged 2 commits into
re-devfrom
sync/upstream-dev-2026-10-21b

Conversation

@gedaiu

@gedaiu gedaiu commented Oct 21, 2026

Copy link
Copy Markdown

Brings re-dev up to upstream dev at ffc1e8d5: one commit, deeplethe#1213 (ADR 0072, a source checkpoint ends at a timestamp boundary). The dev mirror was fast-forwarded to upstream first.

Conflicts. None. The change is documentation only: the new ADR and its README index row. No code, migration or web file came in, so only the merge itself was checked.

Numbering. Upstream now holds ADR 0072, so the next fork ADR is 0073.

🤖 Generated with Claude Code

Floating-Y and others added 2 commits October 21, 2026 23:59
* Record why source checkpoints need bounded continuation

Signed-off-by: Floating-Y <[email protected]>

* Record why source syncs stop at timestamp boundaries

Signed-off-by: Floating-Y <[email protected]>

* Clarify how source syncs advance past a completed timestamp group

Signed-off-by: Floating-Y <[email protected]>

---------

Signed-off-by: Floating-Y <[email protected]>
@gedaiu
gedaiu merged commit 50eec1c into re-dev Oct 22, 2026
6 checks passed
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.

2 participants