Deleting an unneeded directory which has been added to repo by mistake