l 2 repo-sync: don't merge remote repos

This commit is contained in:
lassulus 2016-06-25 18:39:54 +02:00
parent 2b74d0defd
commit 9fd537b4d6

View File

@ -58,10 +58,6 @@ let
origin.url = url; origin.url = url;
mirror.url = "${mirror}${name}"; mirror.url = "${mirror}${name}";
}; };
"@latest" = {
mirror.url = "${mirror}${name}";
mirror.ref = "heads/newest";
};
}; };
krebs.git = defineRepo name; krebs.git = defineRepo name;
}; };