m 2 git/brain: optional -> singleton
This commit is contained in:
parent
a163b0b47a
commit
d411be1dd7
|
@ -43,7 +43,7 @@ let
|
|||
};
|
||||
|
||||
set-ro-access = with git; repo: user:
|
||||
optional repo.public {
|
||||
singleton {
|
||||
inherit user;
|
||||
repo = [ repo ];
|
||||
perm = fetch;
|
||||
|
|
Loading…
Reference in a new issue