summaryrefslogtreecommitdiffstats
path: root/tv/2configs
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-07-23 11:20:32 +0200
committertv <tv@krebsco.de>2016-07-23 11:20:32 +0200
commit716fcbf2821415b787d698cb2f6d5002ffe4644a (patch)
treeeb880983312db82582c7de51b89640d8613b571a /tv/2configs
parent45c62ec4d3ec61ba593657676f5a09d47622564e (diff)
tv git: allow all users to fetch public repos
Diffstat (limited to 'tv/2configs')
-rw-r--r--tv/2configs/git.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/tv/2configs/git.nix b/tv/2configs/git.nix
index 4bc971370..fd3875410 100644
--- a/tv/2configs/git.nix
+++ b/tv/2configs/git.nix
@@ -101,7 +101,7 @@ let
perm = push "refs/*" [ non-fast-forward create delete merge ];
} ++
optional repo.public {
- user = [ lass makefu ];
+ user = attrValues config.krebs.users;
repo = [ repo ];
perm = fetch;
} ++