What happened to Git Ketch
Git Ketch was supposed to be a multi-master version of JGit when it was announced in 2016. If I am reading the commit history properly then it seems like there were 6 commits and then it all stopped. Sounded like a good idea. I wonder if the Raft consensus protocol turns out to be a good idea but just too complex in practice.












