summaryrefslogtreecommitdiffstats
path: root/makefu/2configs/git
diff options
context:
space:
mode:
authorlassulus <lassulus@lassul.us>2017-07-23 21:39:36 +0200
committerlassulus <lassulus@lassul.us>2017-07-23 21:39:36 +0200
commitc06435596a276f2039ca64b24a90fbb390cadf9c (patch)
tree5d9b15c67c6697a86cf5417395cf06302c1cd77c /makefu/2configs/git
parent8d34735c3099648fb3444d218c78fb3fb7612c46 (diff)
parent1e3931d983127bb2cf5fc93471bacfc9770e5b08 (diff)
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'makefu/2configs/git')
-rw-r--r--makefu/2configs/git/brain-retiolum.nix3
1 files changed, 2 insertions, 1 deletions
diff --git a/makefu/2configs/git/brain-retiolum.nix b/makefu/2configs/git/brain-retiolum.nix
index 18275e3df..05754dc7f 100644
--- a/makefu/2configs/git/brain-retiolum.nix
+++ b/makefu/2configs/git/brain-retiolum.nix
@@ -8,6 +8,7 @@ let
krebs-repos = mapAttrs make-krebs-repo {
brain = { };
+ krebs-secrets = { };
};
@@ -33,7 +34,7 @@ let
set-owners repo [ config.krebs.users.makefu ] ++ set-ro-access repo krebsminister;
set-ro-access = with git; repo: user:
- optional repo.public {
+ singleton {
inherit user;
repo = [ repo ];
perm = fetch;