Harden workspace sync quarantine and updater recovery (#6)

2026-08-30 00:34:02 +02:00
parent d926007dae
commit a93231d69f
7 changed files with 163 additions and 17 deletions
@@ -161,12 +161,13 @@ Force repair after you have closed all Git tools for this repository?`)
      ]);
      const recovery = [
        result.backupBranch ? `recovery branch ${result.backupBranch}` : null,
-        result.stash ? `stash ${result.stash.ref}` : null,
+        result.stash ? `quarantine stash ${result.stash.ref}` : null,
+        result.review ? `Codex review manifest ${result.review.manifestPath}` : null,
      ].filter(Boolean).join(" and ");
      showToast(
        "Workspace synchronized with Gitea",
        recovery
-          ? `Local work is preserved in ${recovery}. Ignored runtime files were retained.`
+          ? `Local work is quarantined in ${recovery}. Review it before restoring anything; ignored runtime files were retained.`
          : `Tracked files now match ${result.plan.upstream}; ignored runtime files were retained.`,
        "success",
      );