get rid of some unneeded things in the git repo