From 243e974866c3cbb9e1ddc2de6af8323eaea702a8 Mon Sep 17 00:00:00 2001 From: Thomas Krijnen Date: Wed, 4 Dec 2024 09:18:39 +0100 Subject: [PATCH] Fetch when already cloned in nix build script --- nix/build-all.py | 1 + 1 file changed, 1 insertion(+) diff --git a/nix/build-all.py b/nix/build-all.py index 58720e737b..ef9f65da9d 100644 --- a/nix/build-all.py +++ b/nix/build-all.py @@ -350,6 +350,7 @@ def git_clone_or_pull_repository(clone_url, target_dir, revision=None): run([git, "clone", "--recursive", clone_url, target_dir]) else: logger.info(f"directory '{target_dir}' already cloned. Pulling latest changes.") + run([git, "-C", target_dir, "fetch", "--all", "--tags"]) # detect whether we are on a branch and pull if run([git, "rev-parse", "--abbrev-ref", "HEAD"], cwd=target_dir) != "HEAD":