From: Mike Frysinger <vapier@gentoo.org>
Date: Wed, 31 Jul 2013 21:24:36 +0000 (-0400)
Subject: .sshconfig: set gerrit port
X-Git-Url: https://git.wh0rd.org/?a=commitdiff_plain;h=cb7ed907246ba2a1fd42f4e088266a2203808622;p=home.git

.sshconfig: set gerrit port
---

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