What happened to the files on Github?