From 81de0effb1205c68a4b0f31842a923cc20c95e22 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Tue, 9 May 2023 18:37:38 +0200
Subject: [PATCH] Add hal ssh key

---
 common/ssh.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/common/ssh.nix b/common/ssh.nix
index fa043bf..8d069d7 100644
--- a/common/ssh.nix
+++ b/common/ssh.nix
@@ -20,6 +20,7 @@
     rarias.openssh.authorizedKeys.keys = [
       "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIKBOf4r4lzQfyO0bx5BaREePREw8Zw5+xYgZhXwOZoBO ram@hop"
       "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAINa0tvnNgwkc5xOwd6xTtaIdFi5jv0j2FrE7jl5MTLoE ram@mio"
+      "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIGYcXIxe0poOEGLpk8NjiRozls7fMRX0N3j3Ar94U+Gl rarias@hal"
     ];
   };