diff options
| author | tv <tv@krebsco.de> | 2019-11-29 16:37:14 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2019-11-29 16:37:14 +0100 |
| commit | 7920ebebf0ad119ee07e3ef58c832c9304903d27 (patch) | |
| tree | c934271f6c6786a8e34c28c0368c9b06ab72a071 /krebs/3modules/ci.nix | |
| parent | 7dff5292e959ac977939273101c84dd39f3cb86d (diff) | |
| parent | 5f1a526486b647407d71bdec16e3713d0da8367e (diff) | |
Merge remote-tracking branch 'prism/master'
Diffstat (limited to 'krebs/3modules/ci.nix')
| -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 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, )) |