Deployment broken?

It seems to me that the mirroring to github is somehow broken.