Yeah, I'm a bit confused. To me the big news doesn't seem to be that some mathematicians wrote a book using Github.

The is that there is now an expansive, informal/readable, and machine verified writeup of homotopy type theory.