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 | f295ac8f970ac9a2c95c33f58a057950b88c4504 (patch) | |
| tree | 58abb5f49706a4fd6c40ca87799e36db52d46d7e | |
| parent | cf93499e96188e40a36bcef79be9c72ad5fb6fa1 (diff) | |
m 2 git/brain: optional -> singleton
| -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; |