From 65498a79bdfbe5e1ba59accbb3815b759f018cde Mon Sep 17 00:00:00 2001 From: LuK1337 Date: Sun, 11 Feb 2024 19:10:52 +0100 Subject: [PATCH] repopick: Skip commit_exists() check when using -p Change-Id: I7b99e8c940bddad80e6362302f1ae24248e42faf --- build/tools/repopick.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/tools/repopick.py b/build/tools/repopick.py index a3661e1a..2973cec3 100755 --- a/build/tools/repopick.py +++ b/build/tools/repopick.py @@ -624,7 +624,7 @@ def do_git_fetch_pull(args, item): project_path = item["project_path"] # commit object already exists, no need to fetch - if commit_exists(project_path, item["revision"]): + if not args.pull and commit_exists(project_path, item["revision"]): return if "anonymous http" in item["fetch"]: