From feb05c7393937b9f70e22d72b06e56ba9097537a Mon Sep 17 00:00:00 2001
From: Yuxi Wang <yuxi.wangcd@gmail.com>
Date: Wed, 25 May 2022 16:58:26 -0700
Subject: [PATCH] Remove launch_binder

---
 src/blocks/notebook.ts | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/blocks/notebook.ts b/src/blocks/notebook.ts
index cf56707a7..43763dc20 100644
--- 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,
   };
 }