l 2 git: allow all users to fetch public repos

This commit is contained in:
lassulus 2016-07-24 18:03:47 +02:00
parent f978c5312e
commit 947f79a399

View File

@ -80,7 +80,7 @@ let
perm = push "refs/*" [ non-fast-forward create delete merge ];
} ++
optional repo.public {
user = [ tv makefu ];
user = attrValues config.krebs.users;
repo = [ repo ];
perm = fetch;
} ++