Haha, that reminds me of my comment earlier: https://news.ycombinator.com/item?id=9578307

And plenty of people schooling me that git is already distributed (git yes, github no). I am happy that someone is working on this.