tv gitrepos: don't announce head verbosely

This commit is contained in:
tv 2022-03-18 16:08:08 +01:00
parent 6c82600161
commit 2dd6f09222

View file

@ -188,7 +188,11 @@ let {
# TODO make nick = config.krebs.build.host.name the default
nick = config.krebs.build.host.name;
server = "irc.r";
verbose = true;
verbose = {
exclude = [
"refs/heads/head"
];
};
} args);
make-public-repo = name: { cgit ? {}, ... }: {