diff options
| author | lassulus <lassulus@lassul.us> | 2019-11-29 14:11:18 +0100 |
|---|---|---|
| committer | makefu <github@syntax-fehler.de> | 2020-01-05 22:16:08 +0100 |
| commit | e6d2e5d2033e4f53ede7006f1d8b20920e12cc87 (patch) | |
| tree | fddf6ac0e3f9e5ae8b3a575a87a6214a139b98d7 /krebs | |
| parent | 20e44b103dc7d4bf1c5b68486c235c481b9c9587 (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 cbf24eff..7695667f 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, )) |