Getting rid of files that shouldn't be in the github repo