That's really good to know.

I read about an intriguing decentralized solution to the git problem a while ago. It might be of an interest to you.