From 5be90e0ef12ae62f14b1e14460d3bddf9299b903 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Tue, 8 Nov 2022 19:59:12 -0500
Subject: add gerrit ssh key

Change-Id: I3d7b449202840a8d5f55c8a11b5fee89a5e2702b
---
 lib/ssh.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/lib/ssh.nix b/lib/ssh.nix
index 48b79ad..29cb677 100644
--- a/lib/ssh.nix
+++ b/lib/ssh.nix
@@ -47,6 +47,12 @@ in {
         identityFile = [ "${homedir}/.ssh/id_rsa" ];
         identitiesOnly = true;
       };
+      "gerrit.simatime.com" = {
+        hostname = "gerrit.simatime.com";
+        user = "bsima";
+        identityFile = [ "${homedir}/.ssh/gerrit.simatime.com" ];
+        identitiesOnly = true;
+      };
       "lithium" = {
         hostname = "192.168.1.9";
         user = "ben";
-- 
cgit v1.2.3