summaryrefslogtreecommitdiffstats
path: root/tv
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2015-08-24 11:22:05 +0200
committertv <tv@krebsco.de>2015-08-24 11:22:05 +0200
commitbcd2427048400d7b6176a55ef45bcc267bf9c25b (patch)
tree2233b2e54c143e27ac7285615b981d2bc85542dd /tv
parent09bbb7c11ba2981df20d96289fe4233610c2c6d9 (diff)
tv git: allow secret collaborateurs
Diffstat (limited to 'tv')
-rw-r--r--tv/2configs/git.nix12
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;
};