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