From ab1a2ec41139b02fdb71e5ff8d7c87a70e61abb2 Mon Sep 17 00:00:00 2001
From: Yash Singh <saiansh2525@gmail.com>
Date: Tue, 16 Jul 2024 18:24:04 -0700
Subject: [PATCH] fix: clone if editor doesnt exist in script

---
 scripts/editor.bash | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/editor.bash b/scripts/editor.bash
index 7c72348709..d04246cc72 100755
--- a/scripts/editor.bash
+++ b/scripts/editor.bash
@@ -19,6 +19,9 @@ pnpm build:esbuild
 pnpm build:types
 
 # Clone the Mermaid Live Editor repository
+if [ ! -d "mermaid-live-editor" ]; then
+  git clone --single-branch https://github.com/mermaid-js/mermaid-live-editor.git
+fi
 cd mermaid-live-editor
 git clean -xdf
 rm -rf docs/