remove stuff we moved to the new repo