ma: tag managed hosts

This commit is contained in:
makefu 2017-07-23 20:54:13 +02:00
parent 2310c138fa
commit 92cec48961

View file

@ -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;