mirror of
https://gerrit.googlesource.com/git-repo
synced 2025-05-14 12:33:47 +00:00
This change allows local SSH configuration to choose the port number to use when not explicitly set in the manifest.
Description
Languages
Python
98.9%
Shell
1%
Roff
0.1%