diff options
author | makefu <github@syntax-fehler.de> | 2017-10-08 22:20:46 +0200 |
---|---|---|
committer | makefu <github@syntax-fehler.de> | 2017-10-08 22:20:46 +0200 |
commit | e230eaa0a22d1f23e3f53a62d113d2889be32598 (patch) | |
tree | 56e5c44a6f2cbffc94f3e5114035bd4d7a240307 /makefu | |
parent | 32e6aed36ae2ec79ca19d375241c2f4c8490254d (diff) |
makefu: add makefu-android identity
Diffstat (limited to 'makefu')
-rw-r--r-- | makefu/2configs/git/cgit-retiolum.nix | 2 |
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; |