Merge branch 'arjunsuresh-patch-1' into arjunsuresh-patch-2

mlcommons · Jun 8, 2024 · 7c68797 · 7c68797
2 parents 596dba4 + a0bf8da
commit 7c68797
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cm/cmind/repos.py b/cm/cmind/repos.py
@@ -457,7 +457,7 @@ def pull(self, alias, url = '', branch = '', checkout = '', console = False, des
             extra_flag = ' ' if checkout_only else ' -b '
 
             if branch != '':
-                cmd += extra_flag + branch
+                cmd = 'git fetch && git switch ' + branch
 
             if checkout!='':
                 cmd += ' ' + checkout