diff options
| author | makefu <github@syntax-fehler.de> | 2015-10-10 20:21:52 +0200 |
|---|---|---|
| committer | makefu <github@syntax-fehler.de> | 2015-10-10 20:21:52 +0200 |
| commit | d411be1dd73eb7c235dedf4d214295e331769256 (patch) | |
| tree | 0fc76ec6944a1b67c9a99516a9a104b1971b4d6d /2configs | |
| parent | a163b0b47aca58fb73e94933d9ffac835ebcddc5 (diff) | |
m 2 git/brain: optional -> singleton
Diffstat (limited to '2configs')
| -rw-r--r-- | 2configs/git/brain-retiolum.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/2configs/git/brain-retiolum.nix b/2configs/git/brain-retiolum.nix index 0ab64773f..793373859 100644 --- a/2configs/git/brain-retiolum.nix +++ b/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; |