Comment by AlexandrB

> Luckily we already have a distributed version control system that can take over github

Surprised that this wasn't just a link to Git. The biggest benefit of Git over predecessors was that it enabled decentralization. Github re-centralized the common case for the sake of convenience.