diff options
| author | jeschli <jeschli@gmail.com> | 2018-03-13 18:52:07 +0100 |
|---|---|---|
| committer | jeschli <jeschli@gmail.com> | 2018-03-13 18:55:44 +0100 |
| commit | 6267aa42509a4f56dc95dfc2db7773c33ca12522 (patch) | |
| tree | 3d9bcb9e7424ebdd04bf8ddcaf96f11626ea351b /krebs/3modules/repo-sync.nix | |
| parent | e7ac3fc703929cd503bc6a01cad449a5b2c328f2 (diff) | |
| parent | 02f67eed443ba552d775d1a0ab7860d439f7552b (diff) | |
Merge remote-tracking branch 'origin/master' into HEAD
Diffstat (limited to 'krebs/3modules/repo-sync.nix')
| -rw-r--r-- | krebs/3modules/repo-sync.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/krebs/3modules/repo-sync.nix b/krebs/3modules/repo-sync.nix index b2e3aa7c5..45d9d81c3 100644 --- a/krebs/3modules/repo-sync.nix +++ b/krebs/3modules/repo-sync.nix @@ -18,10 +18,10 @@ let type = types.attrsOf (types.submodule ({ config, ... }: { options = { origin = mkOption { - type = types.git-source; + type = types.source-types.git; }; mirror = mkOption { - type = types.git-source; + type = types.source-types.git; }; }; config = { @@ -31,7 +31,7 @@ let })); }; latest = mkOption { - type = types.nullOr types.git-source; + type = types.nullOr types.source-types.git; default = null; }; timerConfig = mkOption { |