m 2 git/brain: optional -> singleton

This commit is contained in:
makefu 2015-10-10 20:21:52 +02:00
parent cf93499e96
commit f295ac8f97

View File

@ -43,7 +43,7 @@ let
};
set-ro-access = with git; repo: user:
optional repo.public {
singleton {
inherit user;
repo = [ repo ];
perm = fetch;