diff options
| author | tv <tv@shackspace.de> | 2015-06-19 01:55:07 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-06-19 01:55:07 +0200 |
| commit | 81797b6a4ca4159d4b857294375e76aaa313fcd2 (patch) | |
| tree | b35988a4e2fcd07e0d0f051eb761225b0b36146b /modules/tv/git/default.nix | |
| parent | 501fdb53c10edfd3328646377beee35568daa1e0 (diff) | |
tv git: allow repo section naming
Diffstat (limited to 'modules/tv/git/default.nix')
| -rw-r--r-- | modules/tv/git/default.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/modules/tv/git/default.nix b/modules/tv/git/default.nix index 1a1d02449..89b72d501 100644 --- a/modules/tv/git/default.nix +++ b/modules/tv/git/default.nix @@ -117,6 +117,13 @@ in Repository description. ''; }; + section = mkOption { + type = types.nullOr types.str; + default = null; + description = '' + Repository section. + ''; + }; name = mkOption { type = types.str; description = '' |