From 92cec4896178979ad682a613ecc5b1aec31d6ff9 Mon Sep 17 00:00:00 2001
From: makefu <github@syntax-fehler.de>
Date: Sun, 23 Jul 2017 20:54:13 +0200
Subject: [PATCH] ma: tag managed hosts

---
 2configs/git/brain-retiolum.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/2configs/git/brain-retiolum.nix b/2configs/git/brain-retiolum.nix
index 18275e3..05754dc 100644
--- a/2configs/git/brain-retiolum.nix
+++ b/2configs/git/brain-retiolum.nix
@@ -8,6 +8,7 @@ let
 
   krebs-repos = mapAttrs make-krebs-repo {
     brain = { };
+    krebs-secrets = { };
   };
 
 
@@ -33,7 +34,7 @@ let
     set-owners repo [ config.krebs.users.makefu ] ++ set-ro-access repo krebsminister;
 
   set-ro-access = with git; repo: user:
-      optional repo.public {
+      singleton {
         inherit user;
         repo = [ repo ];
         perm = fetch;