While Git is great at asynchronous collaboration, its a bit clunky to try and work on the same commit with other devs or across devices.
This is because Git tracks what changed, not how it changed.
It'd be cool if you were on the same branch as somebody else, or another device, and your working directories could be synced.
It'd also be cool for the commit history to be a bit richer, so you could see who, what and when for a change at a keystroke level.
So I'm working on real-time sync for Git!
I'd represent the working directory as a tree CRDT [1] and sync that through FUSE and p2p networking.
Not sure whether this is actually a good idea! This is a POC :)
It'd be cool if you were on the same branch as somebody else, or another device, and your working directories could be synced. It'd also be cool for the commit history to be a bit richer, so you could see who, what and when for a change at a keystroke level.
So I'm working on real-time sync for Git! I'd represent the working directory as a tree CRDT [1] and sync that through FUSE and p2p networking.
Not sure whether this is actually a good idea! This is a POC :)
[1] https://martin.kleppmann.com/papers/move-op.pdf