mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2025-10-15 04:52:40 +08:00
7198572dd7f5b9d95d83733a98691948a3eb9da3
This change allows local SSH configuration to choose the port number
to use when not explicitly set in the manifest.
(cherry picked from commit 4c0f670465
)
Change-Id: Ibea99cfe46b6a2cc27f754cc3944a2fe10f6fda4
Description
Languages
Python
99.2%
Shell
0.8%