summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorlassulus <lassulus@lassul.us>2019-11-29 14:11:18 +0100
committermakefu <github@syntax-fehler.de>2020-01-05 22:16:08 +0100
commite6d2e5d2033e4f53ede7006f1d8b20920e12cc87 (patch)
treefddf6ac0e3f9e5ae8b3a575a87a6214a139b98d7
parent20e44b103dc7d4bf1c5b68486c235c481b9c9587 (diff)
ci: redownload all repos
-rw-r--r--krebs/3modules/ci.nix1
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,
))