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 | 2dd6f092224ba5806c206f23ddff4e978c27d1e1 (patch) | |
| tree | 7367943b6d0e9f5b9f7d59fabf3bd4530273ef8c | |
| parent | 6c826001614f78bac48d751a1c03c62bb98b8f05 (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 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 ? {}, ... }: { |