1 files changed, 5 insertions, 1 deletions
diff --git a/tv/2configs/gitrepos.nix b/tv/2configs/gitrepos.nix
index fc76e5fd..4d22fdff 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 ? {}, ... }: {