From e1e4fdafbcd5b4fe469c31871a7e2822b028ecbd Mon Sep 17 00:00:00 2001 From: Martin Ridgers Date: Tue, 8 Feb 2022 08:55:05 +0100 Subject: Use a clean and detatched head instead of pulling a branch along --- scripts/remote_build.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'scripts') diff --git a/scripts/remote_build.py b/scripts/remote_build.py index c5787f635..5fd62b87f 100644 --- a/scripts/remote_build.py +++ b/scripts/remote_build.py @@ -209,8 +209,9 @@ def _remote(args): _run_checked("git", "clone", f"git://{args.ip}:4493/", clone_dir) os.chdir(clone_dir) - _run_checked("git", "checkout", args.branch) - _run_checked("git", "pull", "-r") + _run_checked("git", "clean", "-fd") + _run_checked("git", "fetch", "origin") + _run_checked("git", "checkout", "origin/" + args.branch) _header("REMOTE:", f"Performing action '{args.action}'") -- cgit v1.2.3