remove stuff we don't need in git #3