Mic92/stockholm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

tv gitrepos: drop redundant fetch permissions

Browse Source 
Everybody already has permission to fetch via HTTP.
This commit is contained in:
tv 2018-02-14 23:27:37 +01:00
parent 00a4ff15cd
commit 3a3e168c8a
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tv/2configs/gitrepos.nix
View File

@ -128,11 +128,6 @@ let {
repo = [ repo ];
perm = push "refs/*" [ non-fast-forward create delete merge ];
} ++
optional repo.public {
user = attrValues config.krebs.users;
repo = [ repo ];
perm = fetch;
} ++
optional (repo.collaborators or [] != []) {
user = repo.collaborators;
repo = [ repo ];