From 1fd91fd05375c682f2683db49081bbb1d45e14b4 Mon Sep 17 00:00:00 2001 From: Daniel Huang Date: Mon, 28 Oct 2024 16:29:34 -0700 Subject: [PATCH] Git prefetch fix Signed-off-by: Daniel Huang --- modules/launch_utils.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/launch_utils.py b/modules/launch_utils.py index 20c7dc127a7..cc276a94ee2 100644 --- a/modules/launch_utils.py +++ b/modules/launch_utils.py @@ -150,7 +150,7 @@ def check_run_python(code: str) -> bool: def git_fix_workspace(dir, name): - run(f'"{git}" -C "{dir}" fetch --refetch --no-auto-gc', f"Fetching all contents for {name}", f"Couldn't fetch {name}", live=True) + run(f'"{git}" -C "{dir}" fetch --prefetch --no-auto-gc', f"Fetching all contents for {name}", f"Couldn't fetch {name}", live=True) run(f'"{git}" -C "{dir}" gc --aggressive --prune=now', f"Pruning {name}", f"Couldn't prune {name}", live=True) return