diff options
-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; |