From 2dd6f092224ba5806c206f23ddff4e978c27d1e1 Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Fri, 18 Mar 2022 16:08:08 +0100
Subject: [PATCH] tv gitrepos: don't announce head verbosely

---
 tv/2configs/gitrepos.nix | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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 ? {}, ... }: {