From cb7ed907246ba2a1fd42f4e088266a2203808622 Mon Sep 17 00:00:00 2001 From: Mike Frysinger Date: Wed, 31 Jul 2013 17:24:36 -0400 Subject: [PATCH] .sshconfig: set gerrit port --- .ssh/config | 1 + 1 file changed, 1 insertion(+) diff --git a/.ssh/config b/.ssh/config index 5009647..6815921 100644 --- a/.ssh/config +++ b/.ssh/config @@ -90,6 +90,7 @@ Host gerrit.chromium.org Port 29418 IdentityFile ~/.ssh/id_rsa.google Host gerrit-int.chromium.org git.chromium.org review.source.android.com review.coreboot.org + Port 29419 IdentityFile ~/.ssh/id_rsa.google Host work -- 2.39.5