diff options
author | lassulus <lassulus@lassul.us> | 2017-07-23 21:39:36 +0200 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2017-07-23 21:39:36 +0200 |
commit | c06435596a276f2039ca64b24a90fbb390cadf9c (patch) | |
tree | 5d9b15c67c6697a86cf5417395cf06302c1cd77c /makefu/2configs/git | |
parent | 8d34735c3099648fb3444d218c78fb3fb7612c46 (diff) | |
parent | 1e3931d983127bb2cf5fc93471bacfc9770e5b08 (diff) |
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'makefu/2configs/git')
-rw-r--r-- | makefu/2configs/git/brain-retiolum.nix | 3 |
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; |