diff options
| author | tv <tv@krebsco.de> | 2018-01-16 20:19:27 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2018-01-16 20:19:27 +0100 |
| commit | cc4e5322aeca08d121b7769517136b05d7e391ca (patch) | |
| tree | 8d8757d91cd631c58d30cb98589973a4983e9d4a /krebs/2configs | |
| parent | 1c06f938b3d4e4e036184639ecdcadec27b5d8f8 (diff) | |
| parent | 74d1531be988057ccadd3de5184d915dcf84c92d (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 { |