diff options
author | makefu <github@syntax-fehler.de> | 2017-07-23 20:54:13 +0200 |
---|---|---|
committer | makefu <github@syntax-fehler.de> | 2017-07-23 20:54:13 +0200 |
commit | 92cec4896178979ad682a613ecc5b1aec31d6ff9 (patch) | |
tree | e6b29d0a22e17b1b6dbf66633220b1fda4ac47e2 | |
parent | 2310c138fa4c1d9f11319f73da97183c056162c3 (diff) |
ma: tag managed hosts
-rw-r--r-- | 2configs/git/brain-retiolum.nix | 3 |
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; |