Merge pull request #34 from curvenote/remove-launch_binder

Remove launch_binder
jupyter-book · May 26, 2022 · 8c20d83 · 8c20d83
2 parents 188b2e5 + feb05c7
commit 8c20d83
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,
   };
 }