fix: address PR feedback on delete-repo

- Settings page now redirects to "/" after delete instead of refreshing
  the now-404 route. Adds optional redirectTo prop on DeleteRepoButton.
- FTS delete_many uses a single DELETE ... WHERE page_id IN (...) per
  chunk of 500 ids instead of one round-trip per page.

Author: Selene29

packages/core/src/repowise/core/persistence/search.py

@@ -222,11 +222,16 @@ async def delete_many(self, page_ids: list[str]) -> None:
         if not page_ids:
             return
         if self._dialect == "sqlite":
+            # Chunk to stay under SQLite's default 999-parameter limit per statement.
+            chunk_size = 500
             async with self._engine.begin() as conn:
-                for pid in page_ids:
+                for start in range(0, len(page_ids), chunk_size):
+                    chunk = page_ids[start : start + chunk_size]
+                    placeholders = ", ".join(f":p{i}" for i in range(len(chunk)))
+                    params = {f"p{i}": pid for i, pid in enumerate(chunk)}
                     await conn.execute(
-                        text("DELETE FROM page_fts WHERE page_id = :pid"),
-                        {"pid": pid},
+                        text(f"DELETE FROM page_fts WHERE page_id IN ({placeholders})"),
+                        params,
                     )
         # PostgreSQL: rows deleted via CASCADE automatically remove from GIN index.
 

packages/web/src/app/repos/[id]/settings/page.tsx

@@ -109,7 +109,7 @@ export default async function RepoSettingsPage({ params }: Props) {
           </CardDescription>
         </CardHeader>
         <CardContent>
-          <DeleteRepoButton repoId={id} repoName={repo.name} variant="button" />
+          <DeleteRepoButton repoId={id} repoName={repo.name} variant="button" redirectTo="/" />
         </CardContent>
       </Card>
     </div>

packages/web/src/components/repos/delete-repo-button.tsx

@@ -18,9 +18,15 @@ interface DeleteRepoButtonProps {
   repoId: string;
   repoName: string;
   variant?: "icon" | "button";
+  redirectTo?: string;
 }
 
-export function DeleteRepoButton({ repoId, repoName, variant = "icon" }: DeleteRepoButtonProps) {
+export function DeleteRepoButton({
+  repoId,
+  repoName,
+  variant = "icon",
+  redirectTo,
+}: DeleteRepoButtonProps) {
   const [open, setOpen] = useState(false);
   const [deleting, setDeleting] = useState(false);
   const router = useRouter();
@@ -31,7 +37,11 @@ export function DeleteRepoButton({ repoId, repoName, variant = "icon" }: DeleteR
       const result = await deleteRepo(repoId);
       toast.success(`Deleted ${repoName} — ${result.deleted_pages} pages removed`);
       setOpen(false);
-      router.refresh();
+      if (redirectTo) {
+        router.push(redirectTo);
+      } else {
+        router.refresh();
+      }
     } catch (err) {
       toast.error(`Failed to delete: ${err instanceof Error ? err.message : "Unknown error"}`);
     } finally {