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 | 200b973fa988f96c2e5d59b760f810ceed990948 (patch) | |
tree | 068fe4c74fa26c0e2dee1071b006a6824ea75511 /makefu/2configs/git | |
parent | 4c2b481cbbcfb28cf66acce9431fe77a0e2c2575 (diff) |
ma: tag managed hosts
Diffstat (limited to 'makefu/2configs/git')
-rw-r--r-- | makefu/2configs/git/brain-retiolum.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/makefu/2configs/git/brain-retiolum.nix b/makefu/2configs/git/brain-retiolum.nix index 18275e3df..05754dc7f 100644 --- a/makefu/2configs/git/brain-retiolum.nix +++ b/makefu/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; |