delete repository from index when deleting it