diff options
| author | jeschli <jeschli@gmail.com> | 2018-01-16 19:15:31 +0100 |
|---|---|---|
| committer | jeschli <jeschli@gmail.com> | 2018-01-16 19:15:31 +0100 |
| commit | 595b5de0bd57e3f9567ff8554fd49e43b3d9c7b1 (patch) | |
| tree | eb273130855884aaa5cc28bba0b70b9e2dc7540d /krebs/2configs | |
| parent | 05b3e4b0cb4e83dcc84939919ca0a83e694606bf (diff) | |
| parent | 74d1531be988057ccadd3de5184d915dcf84c92d (diff) | |
Merge branch 'master' of prism.r:stockholm
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 { |