| commit | 92de59d06e5eb67856257a3eafac2e83febbb916 | |
| author | Thomas Wolf <thomas.wolf@paranor.ch> | |
| Sat, 22 Aug 2015 21:05:28 +0000 (22 23:05 +0200) | ||
| committer | Matthias Sohn <matthias.sohn@sap.com> | |
| Thu, 27 Aug 2015 23:17:16 +0000 (28 01:17 +0200) | ||
| tree | f25bab1b08d5d5a156d71114151d468ff25e11de | treesnapshot (tar.gz zip) |
| parent | cb247cf9d06f987b48e6ac170d9993cc6c729a15 | commitdiff |
Respect push URL's port configuration in Gerrit configuration
If the push URI already is ssh, it most likely already has a port,
and if the user cloned the repo from Gerrit, it will even be correct.
Replacing that by Gerrit's default ssh port of 29418 is most confusing
if that Gerrit runs its sshd on a non-standard port.
Bug: 475740
Change-Id: I6043be2c101e5efd68de66bfff851b03f0ee79b2
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
If the push URI already is ssh, it most likely already has a port,
and if the user cloned the repo from Gerrit, it will even be correct.
Replacing that by Gerrit's default ssh port of 29418 is most confusing
if that Gerrit runs its sshd on a non-standard port.
Bug: 475740
Change-Id: I6043be2c101e5efd68de66bfff851b03f0ee79b2
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
| org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/gerrit/GerritConfigurationPage.java | diffblobblamehistory |