{ my $repo = $DB->get('contrib'); $repo->delete if $repo; }