diff options
| -rw-r--r-- | tv/2configs/gitrepos.nix | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tv/2configs/gitrepos.nix b/tv/2configs/gitrepos.nix index fc76e5fd6..4d22fdff5 100644 --- a/tv/2configs/gitrepos.nix +++ b/tv/2configs/gitrepos.nix @@ -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 ? {}, ... }: { |