import { Link } from "react-router-dom"; import { Icon } from "./icon"; interface WorkspaceHeaderProps { project: { id: string; name: string; description?: string | null; }; currentRepo?: { id: string; name: string; } | null; } export const WorkspaceHeader = ({ project, currentRepo }: WorkspaceHeaderProps) => { return (