From 0a1a0813dd19c0e83af10b54affaacec924a23a8 Mon Sep 17 00:00:00 2001
From: Robert Hensing <robert@roberthensing.nl>
Date: Thu, 8 Sep 2022 16:29:34 +0200
Subject: [PATCH] Revert "add roberth to server"
I've resolved yesterday's issue and I don't need access to the
local hercules-ci-agent logs for the time being.
This reverts commit 728948a8011d7ec3297dad1d14ef5c3b9a35450f.
---
users/mic92.nix | 1 -
1 file changed, 1 deletion(-)
diff --git a/users/mic92.nix b/users/mic92.nix
index b14da83..af28a51 100644
--- a/users/mic92.nix
+++ b/users/mic92.nix
@@ -3,7 +3,6 @@ let
userLib = import ./lib.nix { inherit lib; };
keys = [
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIKbBp2dH2X3dcU1zh+xW3ZsdYROKpJd3n13ssOP092qE joerg@turingmachine"
- "ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQC84hXlagpMfElsUwY1f7XA0TUIph301bFA4dCf28mD1I6fw01lNH1KHhWZdHWeaVqhBKdoiNGOvynMGVrH3xVzmf1psILRFaKZkDoKbw6IgtXVDruJjrxCDkkIBokEi7uEH3IBiQnGBHuTWJCwhX+XpnTYUxYzfwlee+S1ZJMrEn3r/R1XsPzXgO0yKCudSgxZqY/QbwJ4WOeJ+1L2WUIoTLA01xzpJsl6N/M2C4HEZZpNokT4gdgRnNRjtmbpkQ5D1Wje2IjneVQMfxmjX+fJPDNiQOALm6aP1jwpLW4LqTY2PXNCj7EyXR269z1QXak13HVdtu9FAer3mgx7icLT roberth"
];
in
{