diff options
| author | tv <tv@krebsco.de> | 2016-07-23 11:20:32 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2016-07-23 11:20:32 +0200 |
| commit | e7558682acf82394996ec276a7f8fc79e841e5b0 (patch) | |
| tree | b357731b9889ecc13359d1778756d3b296ae01b7 /tv/2configs | |
| parent | 427fedc44eebe7bc96e443dfa32febd724ba67eb (diff) | |
tv git: allow all users to fetch public repos
Diffstat (limited to 'tv/2configs')
| -rw-r--r-- | tv/2configs/git.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tv/2configs/git.nix b/tv/2configs/git.nix index 4bc9713..fd38754 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; } ++ |