| commit | 396466344b0f906c781a0002420537577568a8db | [log] [tgz] |
|---|---|---|
| author | Luca Stefani <luca.stefani.ge1@gmail.com> | Mon Jul 11 14:12:52 2022 +0200 |
| committer | Luca Stefani <luca.stefani.ge1@gmail.com> | Tue Jul 12 13:02:59 2022 +0000 |
| tree | 086075317a05735d849e5f5bca6de69feaf3b68a | |
| parent | 58776972a8038eba6b6d77eca57cf009ee16ceb6 [diff] |
repo_pull: Attempt to fetch via ssh first This is usually preferred if supported by the server Change-Id: Ie15df0231a679d55ba1adfd7e7d86f4999828e27