commit ad75e979c102fadf7af83c61dee561915f794f12
author LuK1337 <priv.luk@gmail.com> Sun Feb 11 19:10:52 2024 +0100
committer micky387 <mickaelsaibi@free.fr> Mon Oct 07 16:55:01 2024 -0400
tree c2a7dc3f461759989ee1bcdc151ac2f6090af0a4
parent d1e49ae1c43196cb63b70e41f09155c434f6a4c0

repopick: Skip commit_exists() check when using -p

Change-Id: I7b99e8c940bddad80e6362302f1ae24248e42faf

build/tools/repopick.py

diff --git a/build/tools/repopick.py b/build/tools/repopick.py
index 4bdfb9a..426e68c 100755
--- a/build/tools/repopick.py
+++ b/build/tools/repopick.py
@@ -624,7 +624,7 @@
     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"]: