import { MenuGroupLabel } from "../ui/menu"; import { Tooltip, TooltipPopup, TooltipTrigger } from "../ui/tooltip"; export function PullRequestStackHeader({ number, notice, stale = false, }: { number: number; notice?: string | null | undefined; stale?: boolean; }) { return ( Stack #{number} {notice ? ( }> {stale ? "May be stale" : "Refreshing…"} {notice} ) : null} ); }