Git is used for the "auto-sync" and sharing functionality. Uses GitHub as the source of truth for the content.
replyCurrently the CRDT is local and is used so that agents can edit the markdown concurrently with the user, and the user can edit it via the WYSWIG editor or the raw markdown editor. CRDT powers the live indicators, etc.
CRDT and git are reconciled so that git stays as the canotical version history.
so if I understand you correctly crdt is not used to collaborate in realtime with other human beings? instead we need to sync via git?
replyCurrently yes. We'll be exposing a centralized CRDT server option in near future.
reply