From cb440990c42d5fe374898b1785a1027ff70c0aac Mon Sep 17 00:00:00 2001
From: Giulio De Pasquale <depasquale+git@giugl.io>
Date: Mon, 14 Nov 2022 12:32:58 +0100
Subject: [PATCH] ssh: Add UCSB robbins server

---
 roles/home/ssh.nix | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/roles/home/ssh.nix b/roles/home/ssh.nix
index 2b11afa..23bac5a 100644
--- a/roles/home/ssh.nix
+++ b/roles/home/ssh.nix
@@ -10,7 +10,12 @@
         user = "root";
         identityFile = "~/.ssh/architectproxy";
       };
-
+      
+      "192.35.222.32" = {
+        user = "giulio";
+        identityFile = "~/.ssh/gitlab-ucsb";
+      };
+ 
       "tommy.devs.giugl.io" = {
         user = "giulio";
         identityFile = "~/.ssh/tommypc";