[yazaddaruvala]

Because it’s async first, the client can use both push or pull to receive the events.

If you’ve used Git you’ve been using a CRDT (with manual pulls and manual merges). A better CRDT would do both automatically.

[jupiterelastica]

So, client that was "offline" can just ask a participant to get the edits from his own last one (aka pull), send out bis own offline edits (push) and resolve from there, I See.

Actually, that cleared it up, thank you :)