let main = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIBGpnPYxrYnmtFaf591Q80FQPb01dqTwlH58V6uRa7Fi"; chaewon = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIN3rS/k+1jaTtly0/SHvYZ8yy2LJqNk/5HN0wdGRpoqa"; in { "forgejo-runner-token.age".publicKeys = [ main chaewon ]; }