a repo failed to import cannot be removed

Issue #9927 resolved