[web] Speed binder startup by setting git clone depth to 1.

Follow-up on !5095.
ufz · Sep 12, 2024 · d5cbb97 · d5cbb97
1 parent 2976c5b
commit d5cbb97
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Tests/Data/Notebooks/testrunner.py b/Tests/Data/Notebooks/testrunner.py
@@ -101,7 +101,7 @@ def check_and_modify_frontmatter():
     if "CI_MERGE_REQUEST_SOURCE_PROJECT_URL" in os.environ:
         repo = os.environ["CI_MERGE_REQUEST_SOURCE_PROJECT_URL"]
         branch = os.environ["CI_MERGE_REQUEST_SOURCE_BRANCH_NAME"]
-    binder_link = f"https://binder.opengeosys.org/v2/gh/bilke/binder-ogs-requirements/master?urlpath=git-pull%3Frepo={repo}%26urlpath=lab/tree/ogs/{notebook_file_path_relative}%26branch={branch}"
+    binder_link = f"https://binder.opengeosys.org/v2/gh/bilke/binder-ogs-requirements/master?urlpath=git-pull%3Frepo={repo}%26urlpath=lab/tree/ogs/{notebook_file_path_relative}%26branch={branch}%26depth=1"
     text = """
 <div class="note">
     <p style="margin-top: 0; margin-bottom: 0;">