Remove some files from github.