tv git: allow secret collaborateurs

This commit is contained in:
tv 2015-08-24 11:22:05 +02:00
parent 443d7878b6
commit c73b2f6c17

View File

@ -8,14 +8,14 @@ let
enable = true;
root-title = "public repositories at ${config.krebs.build.host.name}";
root-desc = "keep calm and engage";
inherit repos rules;
repos = mapAttrs (_: s: removeAttrs s ["collaborators"]) repos;
rules = rules;
};
};
repos = mapAttrs (_: s: removeAttrs s ["collaborators"]) (
repos =
public-repos //
optionalAttrs config.krebs.build.host.secure restricted-repos
);
optionalAttrs config.krebs.build.host.secure restricted-repos;
rules = concatMap make-rules (attrValues repos);
@ -66,8 +66,8 @@ let
};
};
make-restricted-repo = name: { desc ? null, ... }: {
inherit name desc;
make-restricted-repo = name: { collaborators ? [], desc ? null, ... }: {
inherit name collaborators desc;
public = false;
};