diff options
| author | lassulus <lass@aidsballs.de> | 2015-10-15 15:18:20 +0200 |
|---|---|---|
| committer | lassulus <lass@aidsballs.de> | 2015-10-15 15:18:20 +0200 |
| commit | a8816bcfe351c1fe9e1a00b27707b56eb544d390 (patch) | |
| tree | b6aadaa1cde000d791699925dd67bde38046b411 /makefu/2configs/git | |
| parent | 96f13eb838f9bee37a980170f281d3839deb2719 (diff) | |
| parent | 2c65fed39714164ff4b28e3352440538ae262c79 (diff) | |
Merge remote-tracking branch 'pnp/master'
Diffstat (limited to 'makefu/2configs/git')
| -rw-r--r-- | makefu/2configs/git/brain-retiolum.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/makefu/2configs/git/brain-retiolum.nix b/makefu/2configs/git/brain-retiolum.nix index 0ab64773f..793373859 100644 --- a/makefu/2configs/git/brain-retiolum.nix +++ b/makefu/2configs/git/brain-retiolum.nix @@ -43,7 +43,7 @@ let }; set-ro-access = with git; repo: user: - optional repo.public { + singleton { inherit user; repo = [ repo ]; perm = fetch; |