export function filePermissionOptions(destructive) {
    return [
        { id: "allow", label: "Allow edit", detail: destructive ? "destructive" : "safe edit", tone: destructive ? "warning" : "success" },
        { id: "reject", label: "Reject", detail: "leave file unchanged", tone: "error" },
    ];
}
