Comment by engomez
13 hours ago
Git is used for the "auto-sync" and sharing functionality. Uses GitHub as the source of truth for the content.
Currently 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?
Currently yes. We'll be exposing a centralized CRDT server option in near future.