From e60e50b1ff159331a257fb02fa77b2f38952c526 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonas=20H=C3=B6ppner?= <jonas.hoeppner@garz-fricke.com>
Date: Mon, 21 Mar 2022 16:02:41 +0100
Subject: [PATCH] CI: Limit clone depth to 1 for speed
---
check_if_integration_branch_is_up_to_date.py | 2 +-
update_submodule.py | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/check_if_integration_branch_is_up_to_date.py b/check_if_integration_branch_is_up_to_date.py
index a6eeb31e..664dc513 100755
--- a/check_if_integration_branch_is_up_to_date.py
+++ b/check_if_integration_branch_is_up_to_date.py
@@ -28,7 +28,7 @@ def check_if_integration_branch_is_up_to_date(
# Checkout manifest
try:
manifest_repo = Repo.clone_from(
- clone_url.url, manifest_dir
+ clone_url.url, manifest_dir, depth=1
)
except GitCommandError as e:
sys.exit("ERROR: could not clone manifest repository\n" + str(e))
diff --git a/update_submodule.py b/update_submodule.py
index 9a7273e5..d749fa57 100755
--- a/update_submodule.py
+++ b/update_submodule.py
@@ -51,7 +51,7 @@ def update_submodule(
# Checkout project
try:
- repo = Repo.clone_from(clone_url.url, project_dir, branch=branch)
+ repo = Repo.clone_from(clone_url.url, project_dir, branch=branch, depth=1)
except GitCommandError as e:
sys.exit("ERROR: could not clone repository\n" + str(e))
except IndexError:
--
GitLab