Address small comments

2025-03-12 10:03:09 +01:00
parent e677d2b55e
commit caece8cd7f
1 changed files with 4 additions and 3 deletions
@@ -208,11 +208,12 @@ function WizardContent({
        payload: ['Repository deleted'],
      });

-      // Wait for 1 second before redirecting to ensure deletion is indexed
-      await new Promise((resolve) => setTimeout(resolve, 1500));
+      // Wait before redirecting to ensure deletion is indexed
+      setTimeout(() => {
+        navigate(PROVISIONING_URL);
+      }, 1500);
      navigate(PROVISIONING_URL);
    } catch (error) {
-      console.error('Failed to delete repository:', error);
      appEvents.publish({
        type: AppEvents.alertError.name,
        payload: ['Failed to delete repository. Please try again.'],