add github_key.age secret

2026-04-01 14:36:48 +02:00
parent d0eba1c834
commit 2d9981dec2
4 changed files with 9 additions and 0 deletions
@@ -194,5 +194,11 @@
      owner = "someone";
      group = "users";
    };
+    github_key = {
+      file = ../../secrets/github_key.age;
+      mode = "600";
+      owner = "someone";
+      group = "users";
+    };
  };
 }
@@ -13,4 +13,7 @@ in {
  "ssh_config.age".publicKeys = [
    host
  ];
+  "github_key.age".publicKeys = [
+    host
+  ];
 }