Skip to content

undo isreplaying#5

Merged
rcarver merged 3 commits intomainfrom
undo-isreplaying
Feb 12, 2026
Merged

undo isreplaying#5
rcarver merged 3 commits intomainfrom
undo-isreplaying

Conversation

@rcarver
Copy link
Contributor

@rcarver rcarver commented Feb 11, 2026

Add 'isReplaying' state via TaskLocal so that triggers can avoid accumulated writes during undo

@rcarver rcarver merged commit 5519bd5 into main Feb 12, 2026
6 of 9 checks passed
@rcarver rcarver deleted the undo-isreplaying branch February 12, 2026 02:11
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