diff options
author | tv <tv@shackspace.de> | 2015-08-24 11:22:05 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-08-24 11:22:05 +0200 |
commit | c73b2f6c175625f08d5898320ea8fcb336f393aa (patch) | |
tree | 42a44b75637f993b70c0856a243a7c51df733449 /tv/2configs | |
parent | 443d7878b6b57413e81ad89039afbebdeb6a3807 (diff) |
tv git: allow secret collaborateurs
Diffstat (limited to 'tv/2configs')
-rw-r--r-- | tv/2configs/git.nix | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/tv/2configs/git.nix b/tv/2configs/git.nix index 8d662494c..264cb4a1c 100644 --- a/tv/2configs/git.nix +++ b/tv/2configs/git.nix @@ -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; }; |