From 79bdebb9592a0ba3150f6878b9731e82bfb27ff7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonas=20H=C3=B6ppner?= <jonas.hoeppner@garz-fricke.com>
Date: Tue, 20 Apr 2021 09:33:20 +0000
Subject: [PATCH] integrate_into_manifest: Specify branch in Repo clone command
---
integrate_into_manifest.py | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/integrate_into_manifest.py b/integrate_into_manifest.py
index ebc844ed..68bb9391 100755
--- a/integrate_into_manifest.py
+++ b/integrate_into_manifest.py
@@ -30,8 +30,9 @@ def integrate_into_manifest(
# Checkout manifest
try:
- manifest_repo = Repo.clone_from(clone_url.url, manifest_dir)
- manifest_repo.heads[integration_base].checkout()
+ manifest_repo = Repo.clone_from(
+ clone_url.url, manifest_dir, branch=integration_base
+ )
except GitCommandError as e:
sys.exit("ERROR: could not clone manifest repository\n" + str(e))
except IndexError as e:
--
GitLab