ci: redownload all repos
This commit is contained in:
parent
20e44b103d
commit
e6d2e5d203
|
@ -135,6 +135,7 @@ let
|
||||||
f_${name} = util.BuildFactory()
|
f_${name} = util.BuildFactory()
|
||||||
f_${name}.addStep(steps.Git(
|
f_${name}.addStep(steps.Git(
|
||||||
repourl=util.Property('repository', '${head repo.urls}'),
|
repourl=util.Property('repository', '${head repo.urls}'),
|
||||||
|
method='clobber',
|
||||||
mode='full',
|
mode='full',
|
||||||
submodules=True,
|
submodules=True,
|
||||||
))
|
))
|
||||||
|
|
Loading…
Reference in a new issue