feat: add ZIP download buttons to docs page and operations panel

Add "Download ZIP" button next to "Export All" on the docs page, and
an "Export" button in the operations panel. Both link to the new
GET /api/repos/{repo_id}/export endpoint.

Author: Selene29

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

@@ -1,7 +1,7 @@
 "use client";
 
 import { use, useState } from "react";
-import { Download, Loader2 } from "lucide-react";
+import { Download, FolderArchive, Loader2 } from "lucide-react";
 import { Button } from "@/components/ui/button";
 import { DocsExplorer } from "@/components/docs/docs-explorer";
 import { listAllPages } from "@/lib/api/pages";
@@ -41,20 +41,27 @@ export default function DocsPage({
             Browse AI-generated documentation for every file, module, and symbol.
           </p>
         </div>
-        <Button
-          variant="outline"
-          size="sm"
-          onClick={handleExportAll}
-          disabled={isExporting}
-          className="shrink-0"
-        >
-          {isExporting ? (
-            <Loader2 className="h-3.5 w-3.5 mr-1.5 animate-spin" />
-          ) : (
-            <Download className="h-3.5 w-3.5 mr-1.5" />
-          )}
-          Export All
-        </Button>
+        <div className="flex gap-2 shrink-0">
+          <Button
+            variant="outline"
+            size="sm"
+            onClick={handleExportAll}
+            disabled={isExporting}
+          >
+            {isExporting ? (
+              <Loader2 className="h-3.5 w-3.5 mr-1.5 animate-spin" />
+            ) : (
+              <Download className="h-3.5 w-3.5 mr-1.5" />
+            )}
+            Export All
+          </Button>
+          <Button variant="outline" size="sm" asChild>
+            <a href={`/api/repos/${repoId}/export`} download>
+              <FolderArchive className="h-3.5 w-3.5 mr-1.5" />
+              Download ZIP
+            </a>
+          </Button>
+        </div>
       </div>
 
       {/* Explorer */}

packages/web/src/components/repos/operations-panel.tsx

@@ -2,7 +2,7 @@
 
 import { useState } from "react";
 import { toast } from "sonner";
-import { RefreshCw, Zap, ChevronDown, ChevronUp, AlertTriangle } from "lucide-react";
+import { RefreshCw, Zap, ChevronDown, ChevronUp, AlertTriangle, Download } from "lucide-react";
 import { syncRepo, fullResyncRepo } from "@/lib/api/repos";
 import { Button } from "@/components/ui/button";
 import { Card, CardContent, CardHeader, CardTitle } from "@/components/ui/card";
@@ -125,6 +125,16 @@ export function OperationsPanel({ repoId, repoName }: Props) {
                 <RefreshCw className="h-3.5 w-3.5 mr-1.5" />
                 {loading === "resync" ? "Starting…" : "Full Resync"}
               </Button>
+              <Button
+                variant="ghost"
+                size="sm"
+                asChild
+              >
+                <a href={`/api/repos/${repoId}/export`} download>
+                  <Download className="h-3.5 w-3.5 mr-1.5" />
+                  Export
+                </a>
+              </Button>
             </div>
           )}
         </CardContent>