tv git: allow all users to fetch public repos

2016-07-23 11:20:32 +02:00 · 2016-07-23 11:20:32 +02:00 · 716fcbf282
parent 45c62ec4d3
commit 716fcbf282
1 changed files with 1 additions and 1 deletions
--- 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;
      } ++