Skip to content

Commit

Permalink
Git prefetch fix
Browse files Browse the repository at this point in the history
Signed-off-by: Daniel Huang <[email protected]>
  • Loading branch information
pi314ever committed Oct 28, 2024
1 parent 82a973c commit 978d71f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion modules/launch_utils.py
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit 978d71f

Please sign in to comment.