Deleting an unnecessary directory from the repository...