summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authormakefu <github@syntax-fehler.de>2017-07-23 20:54:13 +0200
committermakefu <github@syntax-fehler.de>2017-07-23 20:54:13 +0200
commit92cec4896178979ad682a613ecc5b1aec31d6ff9 (patch)
treee6b29d0a22e17b1b6dbf66633220b1fda4ac47e2
parent2310c138fa4c1d9f11319f73da97183c056162c3 (diff)
ma: tag managed hosts
-rw-r--r--2configs/git/brain-retiolum.nix3
1 files changed, 2 insertions, 1 deletions
diff --git a/2configs/git/brain-retiolum.nix b/2configs/git/brain-retiolum.nix
index 18275e3df..05754dc7f 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;