Skip to content

Summerize patching#40

Merged
martonlederer merged 6 commits intomainfrom
feat/summarize-patch
Oct 10, 2025
Merged

Summerize patching#40
martonlederer merged 6 commits intomainfrom
feat/summarize-patch

Conversation

@martonlederer
Copy link
Contributor

@martonlederer martonlederer commented Oct 10, 2025

This PR makes patching more efficient by applying an internal "patching algorithm" before sending out one, unified patch message.
It also makes sure that the patch message is the last message sent out to not confuse the existing UI.

@martonlederer martonlederer merged commit 7cf9945 into main Oct 10, 2025
2 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.

1 participant