Remove launch_binder

jupyter-book · May 25, 2022 · feb05c7 · feb05c7
1 parent 188b2e5
commit feb05c7
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/blocks/notebook.ts b/src/blocks/notebook.ts
@@ -21,7 +21,6 @@ export interface PartialNotebook {
   metadata: NotebookBlockMetadata;
   order: ChildId[];
   children: BlockChildDict;
-  launch_binder: string | null;
 }
 
 export const defaultFormat = NotebookFormatTypes.jupyter;
@@ -36,6 +35,5 @@ export function fromDTO(json: JsonObject): PartialNotebook {
     metadata: json.metadata ?? {},
     order: [...(json?.order ?? [])],
     children: { ...json.children },
-    launch_binder: json.launch_binder ?? null,
   };
 }