diff options
| author | lassulus <lassulus@lassul.us> | 2019-11-29 14:11:18 +0100 |
|---|---|---|
| committer | lassulus <lassulus@lassul.us> | 2019-11-29 14:11:18 +0100 |
| commit | b025e28b42194cc6316596b954024b41abab81f5 (patch) | |
| tree | d32ec73376abcbf80012891fd71137066a2fc548 /krebs | |
| parent | aa341e428a489133061a3e898ed6a93a5c290b54 (diff) | |
ci: redownload all repos
Diffstat (limited to 'krebs')
| -rw-r--r-- | krebs/3modules/ci.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/krebs/3modules/ci.nix b/krebs/3modules/ci.nix index cbf24effe..7695667fd 100644 --- a/krebs/3modules/ci.nix +++ b/krebs/3modules/ci.nix @@ -135,6 +135,7 @@ let f_${name} = util.BuildFactory() f_${name}.addStep(steps.Git( repourl=util.Property('repository', '${head repo.urls}'), + method='clobber', mode='full', submodules=True, )) |