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"]: