Mic92/stockholm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

git: add repo.admins option

Browse Source
This commit is contained in:
lassulus 2017-09-19 11:30:57 +02:00
parent 9eff836daa
commit 797535fc1f
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
krebs/3modules/git.nix
View File

@ -186,6 +186,17 @@ let
}; };
repo = types.submodule ({ config, ... }: { repo = types.submodule ({ config, ... }: {
options = { options = {
admins = mkOption {
type = types.listOf types.user;
default = [];
description = ''
List of users that should be able to do everything with this repo.
This option is currently not used by krebs.git but instead can be
used to create rules. See e.g. <stockholm/lass/2configs/git.nix> for
an example.
'';
};
cgit = { cgit = {
desc = mkOption { desc = mkOption {
type = types.nullOr types.str; type = types.nullOr types.str;