Thanks. Yes, that's a much more fine-grained use of versioning than we use in git repositories. I suppose this sort of synchronization is more like a streaming

Thanks. Yes, that's a much more fine-grained use of versioning than we use in git repositories. I suppose this sort of synchronization is more like a streaming protocol than a version-control system. (A stream of updates.)