diff options
author | tv <tv@krebsco.de> | 2015-08-24 11:22:05 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2015-08-24 11:22:05 +0200 |
commit | bcd2427048400d7b6176a55ef45bcc267bf9c25b (patch) | |
tree | 2233b2e54c143e27ac7285615b981d2bc85542dd /tv/2configs/git.nix | |
parent | 09bbb7c11ba2981df20d96289fe4233610c2c6d9 (diff) |
tv git: allow secret collaborateurs
Diffstat (limited to 'tv/2configs/git.nix')
-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 8d66249..264cb4a 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; }; |