[Bug 327847] New: Option to delete old repository on update