[web] gracefully handle old history resyncs without origin (#32822)

GitOrigin-RevId: 6e9d878234fea8bdb74534b1f23ee127e5c2daaf
This commit is contained in:
Jakob Ackermann
2026-04-15 10:37:41 +02:00
committed by Copybot
parent 3dc8899334
commit be2e875bc5

View File

@@ -30,7 +30,7 @@ export type SyncStartRecordSchema = {
export type SyncStateSchema = {
resyncProjectStructure: boolean
resyncDocContents: string[]
origin: { kind: string }
origin?: { kind: string }
}
export type SyncStateHistoryEntry = {