While this is true, look at the difficulty people had in reconstructing his work from github. People may have clones of the repo, but maybe not with all of his latest commits.
Is it just me, or has github gotten a lot slower in the last couple of months? I haven't noticed it with `git clone git://github.com...`, but the website seems to be grinding to a halt.