fix(sync): pull never deletes a dir it wrote or a locally edited dir (#792 A, C) - #796

Merged

soustruh merged 3 commits into

mainfrom

fix/792-pull-sweep-safety

Sep 29, 2026

Commits on Sep 26, 2026

fix(sync): pull never deletes a dir it wrote or a locally edited dir (#792 A, C)
padak
committed
7939e5c

Commits on Sep 29, 2026

Merge remote-tracking branch 'origin/main' into fix/792-pull-sweep-safety
soustruh
committed
13e1245
test(sync): compare POSIX paths in World.files() so the #792 tests pass on Windows
soustruh
committed
3dcc2bf