diff --git a/integrate_into_manifest.py b/integrate_into_manifest.py index ebc844ed044dcfa4d01bb11acc000b9d005c9752..68bb9391ca08c2e53385b71c6af48abbd93524b9 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: