diff options
author | tv <tv@krebsco.de> | 2022-03-18 16:08:08 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2022-03-18 16:15:22 +0100 |
commit | 7afb4a7ee2c59f66e51d8e4a3ac053f340a87e02 (patch) | |
tree | 69871a1d610a7f0024c761adbf5abd4c6d9813cc | |
parent | 17e28c32d24d821091133eec191c82775710fa31 (diff) |
tv gitrepos: don't announce head verbosely
-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 fc76e5f..4d22fdf 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 ? {}, ... }: { |