Merge remote-tracking branch 'nomic/user-toplevel' into newmaster

1 files changed, 4 insertions, 0 deletions

diff --git a/4lib/krebs/types.nix b/4lib/krebs/types.nix
index 970ef2f8e..92410dd58 100644
--- a/4lib/krebs/types.nix
+++ b/4lib/krebs/types.nix
@@ -93,6 +93,10 @@ types // rec {
       pubkey = mkOption {
         type = str;
       };
+      pubkeys = mkOption {
+        type = attrsOf str;
+        default = {};
+      };
     };
   };