fetch-distro: Fetch before we switch branches

Otherwise the branch we're switching to might not exist yet.

diff --git a/tools/fetch-distro.py b/tools/fetch-distro.py
index 6d1c35ba6bf5e98020c5c1dba0565aab49c4f45c..b91833a68f0cd96b241ca1158d1e1df93074674a 100755 (executable)
--- a/tools/fetch-distro.py
+++ b/tools/fetch-distro.py
@@ -97,16 +97,16 @@ def update_distro(args, distro: str, config: dict):
     subdir = config['Environment'].get('GIT_SUBDIR')
     old_commit = config['Environment']['GIT_COMMIT']
 
-    cmd = ['git', '-C', f'pkg/{distro}', 'switch', branch]
-    print(f"+ {shlex.join(cmd)}")
-    subprocess.check_call(cmd)
-
     if args.fetch:
         cmd = ['git', '-C', f'pkg/{distro}', 'fetch', 'origin', '-v',
                f'{branch}:remotes/origin/{branch}']
         print(f"+ {shlex.join(cmd)}")
         subprocess.check_call(cmd)
 
+    cmd = ['git', '-C', f'pkg/{distro}', 'switch', branch]
+    print(f"+ {shlex.join(cmd)}")
+    subprocess.check_call(cmd)
+
     cmd = ['git', '-C', f'pkg/{distro}', 'log', '-n1', '--format=%H',
            f'refs/remotes/origin/{branch}']
     if subdir is not None: