summaryrefslogtreecommitdiffstats
path: root/makefu/2configs/git
diff options
context:
space:
mode:
authorlassulus <lassulus@lassul.us>2017-10-09 13:25:46 +0200
committerlassulus <lassulus@lassul.us>2017-10-09 13:25:46 +0200
commita357a82f9e10c8b35465d1d3458d51e49e8e5676 (patch)
tree0a8da6542296e9743c81226c3b8fdb9b239fbb8b /makefu/2configs/git
parent71e25af663f7b620a2adffa4ac5e0eeaef548a81 (diff)
parent903a1182b5c27cf0c07d267f136a0f2e5be3d89b (diff)
Merge remote-tracking branch 'gum/master'
Diffstat (limited to 'makefu/2configs/git')
-rw-r--r--makefu/2configs/git/cgit-retiolum.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/makefu/2configs/git/cgit-retiolum.nix b/makefu/2configs/git/cgit-retiolum.nix
index ed890fe40..da246f66a 100644
--- a/makefu/2configs/git/cgit-retiolum.nix
+++ b/makefu/2configs/git/cgit-retiolum.nix
@@ -68,7 +68,7 @@ let
# TODO: get the list of all krebsministers
krebsminister = with config.krebs.users; [ lass tv ];
- all-makefu = with config.krebs.users; [ makefu makefu-omo makefu-tsp makefu-vbob makefu-tempx ];
+ all-makefu = with config.krebs.users; [ makefu makefu-omo makefu-tsp makefu-vbob makefu-tempx makefu-android ];
all-exco = with config.krebs.users; [ exco ];
priv-rules = repo: set-owners repo all-makefu;