krebs repo-sync: set latest to master

This commit is contained in:
lassulus 2017-07-27 19:43:23 +02:00
parent 05a8c6071d
commit 6488d2e715

View File

@ -17,7 +17,7 @@ let
verbose = false; verbose = false;
channel = "#retiolum"; channel = "#retiolum";
server = "ni.r"; server = "ni.r";
branches = [ "newest" ]; branches = [ "master" ];
}; };
}); });
}; };
@ -55,7 +55,7 @@ let
}; };
latest = { latest = {
url = "${mirror}${name}"; url = "${mirror}${name}";
ref = "heads/newest"; ref = "heads/master";
}; };
}; };
krebs.git = defineRepo name true; krebs.git = defineRepo name true;