tools/fetch-distro: switch to the target branch

We switch opensuse from "factory" to "devel". I had an old checkout that was
using the stale branch.

diff --git a/tools/fetch-distro.py b/tools/fetch-distro.py
index e7f9f59104eb648389475dd44478870881e23ebb..9fc5b1bfa62a377c1412b25d9101896ab91f3f6d 100755 (executable)
--- a/tools/fetch-distro.py
+++ b/tools/fetch-distro.py
@@ -79,6 +79,10 @@ def update_distro(args, distro: str, config: dict):
     branch = config['Environment']['GIT_BRANCH']
     old_commit = config['Environment']['GIT_COMMIT']
 
+    cmd = ['git', '-C', f'pkg/{distro}', 'switch', branch]
+    print(f"+ {shlex.join(cmd)}")
+    subprocess.check_call(cmd)
+
     cmd = ['git', '-C', f'pkg/{distro}', 'fetch', 'origin', '-v',
            f'{branch}:remotes/origin/{branch}']
     print(f"+ {shlex.join(cmd)}")