.ssh/config: add review.coreboot.org

diff --git a/.ssh/config b/.ssh/config
index d8ebb4269a846864ad61ab39e995af43b2611008..50096473fe593cf3d33992272cddca3af7784d95 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -89,7 +89,7 @@ Host gshell
 Host gerrit.chromium.org
        Port 29418
        IdentityFile ~/.ssh/id_rsa.google
-Host gerrit-int.chromium.org git.chromium.org review.source.android.com
+Host gerrit-int.chromium.org git.chromium.org review.source.android.com review.coreboot.org
        IdentityFile ~/.ssh/id_rsa.google
 
 Host work