diff options
| author | nin <nin@c-base.org> | 2018-01-30 23:06:17 +0100 |
|---|---|---|
| committer | nin <nin@c-base.org> | 2018-01-30 23:06:17 +0100 |
| commit | 6849d7aa4810d5f1f2ec55d852d21812dd1b8002 (patch) | |
| tree | b2b236981d6cb2d226fbe239845838a15c22b30e /krebs/2configs | |
| parent | 80c2e23ec028bfda5c0bad0e3269648d34d298b0 (diff) | |
| parent | ffc294575cb59585c3bfb6b85fa45fb69cdf1d41 (diff) | |
Merge remote-tracking branch 'prism/master'
Diffstat (limited to 'krebs/2configs')
| -rw-r--r-- | krebs/2configs/repo-sync.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/krebs/2configs/repo-sync.nix b/krebs/2configs/repo-sync.nix index 84b7d9c0e..48da88a8d 100644 --- a/krebs/2configs/repo-sync.nix +++ b/krebs/2configs/repo-sync.nix @@ -58,7 +58,7 @@ let ref = "heads/master"; }; }; - krebs.git = defineRepo name true; + krebs.git = defineRepo name false; }; in { |