repo-sync: don't announce syncs in irc

This commit is contained in:
lassulus 2018-01-11 11:22:46 +01:00
parent 279ce3bbbc
commit 36833781d4

View File

@ -58,7 +58,7 @@ let
ref = "heads/master"; ref = "heads/master";
}; };
}; };
krebs.git = defineRepo name true; krebs.git = defineRepo name false;
}; };
in { in {