Delete some of the files we don't need on GitHub