Key rotation

This commit is contained in:
Filippo Berto 2023-12-14 15:13:49 +01:00
parent 2a2dbd43cb
commit 010b9495a8
No known key found for this signature in database
GPG key ID: FE98AE5EC52B1056
18 changed files with 108 additions and 104 deletions

View file

@ -1,5 +1,5 @@
let
bertof_odin = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIAhxOjo9Ac9hVd3eOR56F6sClUMUh1m7VpcmzA18dslj bertof@odin";
bertof_odin = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIC3W3Btk1qtLHU69aFwseDuKU6PJMA+NxVXJXiRNhDce bertof@odin";
bertof_thor = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIKT+D5QE4TkgoKw5IvSYpvnvIIRM87RBePHce1Aaz3xJ bertof@thor";
devUsers = [ bertof_odin bertof_thor ];