ci: redownload all repos

2019-11-29 14:11:18 +01:00 · 2019-11-29 14:11:18 +01:00 · b025e28b42
parent aa341e428a
commit b025e28b42
1 changed files with 1 additions and 0 deletions
--- 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,
          ))