import { type Progress, ProgressBanner } from "@/client/components/ProgressBanner"; import { RepoNav } from "@/client/components/RepoNav"; import { type RepoAdminProps, RepoAdminIsland } from "@/client/islands/repo-admin"; import { IslandHost } from "@/client/server/IslandHost"; export type AdminPageProps = RepoAdminProps & { progress?: Progress; }; export function AdminPage({ progress, ...props }: AdminPageProps) { return (