summaryrefslogtreecommitdiffstats
path: root/krebs
diff options
context:
space:
mode:
authorlassulus <lassulus@lassul.us>2019-11-29 14:11:18 +0100
committerlassulus <lassulus@lassul.us>2019-11-29 14:11:18 +0100
commitb025e28b42194cc6316596b954024b41abab81f5 (patch)
treed32ec73376abcbf80012891fd71137066a2fc548 /krebs
parentaa341e428a489133061a3e898ed6a93a5c290b54 (diff)
ci: redownload all repos
Diffstat (limited to 'krebs')
-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,
))