summaryrefslogtreecommitdiffstats
path: root/tv
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-02-03 13:36:54 +0100
committertv <tv@krebsco.de>2016-02-03 13:36:54 +0100
commitcdb590be5072712c9552a98f8979aa94288dcbc8 (patch)
tree1122b82610014db5c156a079b2fe240aa23479fc /tv
parent68655d1ddf078eb1bb3a48ba7e6e9376d913985e (diff)
krebs.git.rules: specify type
Diffstat (limited to 'tv')
-rw-r--r--tv/2configs/git.nix4
1 files changed, 2 insertions, 2 deletions
diff --git a/tv/2configs/git.nix b/tv/2configs/git.nix
index 5e0f95c15..01dc7de9b 100644
--- a/tv/2configs/git.nix
+++ b/tv/2configs/git.nix
@@ -9,7 +9,7 @@ let
enable = true;
root-title = "public repositories at ${config.krebs.build.host.name}";
root-desc = "keep calm and engage";
- repos = mapAttrs (_: s: removeAttrs s ["collaborators"]) repos;
+ repos = repos;
rules = rules;
};
};
@@ -99,7 +99,7 @@ let
repo = [ repo ];
perm = fetch;
} ++
- optional (length (repo.collaborators or []) > 0) {
+ optional (repo.collaborators or [] != []) {
user = repo.collaborators;
repo = [ repo ];
perm = fetch;