From 396466344b0f906c781a0002420537577568a8db Mon Sep 17 00:00:00 2001
From: Luca Stefani <luca.stefani.ge1@gmail.com>
Date: Mon, 11 Jul 2022 14:12:52 +0200
Subject: [PATCH] repo_pull: Attempt to fetch via ssh first

This is usually preferred if supported by the server

Change-Id: Ie15df0231a679d55ba1adfd7e7d86f4999828e27
---
 tools/repo_pull/repo_pull.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/repo_pull/repo_pull.py b/tools/repo_pull/repo_pull.py
index 2d833ebc4..ae8b1c80a 100755
--- 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