Merge "repo_pull: Attempt to fetch via ssh first"

2022-07-18 09:48:02 +00:00
parent a12115812c 396466344b
commit 4a2aacdeed
1 changed files with 1 additions and 1 deletions
--- a/tools/repo_pull/repo_pull.py
+++ b/tools/repo_pull/repo_pull.py
@@ -94,7 +94,7 @@ class ChangeList(object):
        self.fetch = fetch

        fetch_git = None
-        for protocol in ('http', 'sso', 'rpc'):
+        for protocol in ('http', 'sso', 'rpc', 'ssh'):
            fetch_git = fetch.get(protocol)
            if fetch_git:
                break