summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authormakefu <github@syntax-fehler.de>2015-10-10 20:21:52 +0200
committermakefu <github@syntax-fehler.de>2015-10-10 20:21:52 +0200
commitf295ac8f970ac9a2c95c33f58a057950b88c4504 (patch)
tree58abb5f49706a4fd6c40ca87799e36db52d46d7e
parentcf93499e96188e40a36bcef79be9c72ad5fb6fa1 (diff)
m 2 git/brain: optional -> singleton
-rw-r--r--makefu/2configs/git/brain-retiolum.nix2
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;