diff options
| author | makefu <github@syntax-fehler.de> | 2022-04-27 22:07:43 +0200 |
|---|---|---|
| committer | makefu <github@syntax-fehler.de> | 2022-04-27 22:07:43 +0200 |
| commit | bdd36774f5e0854553b13433ef85260c6c074b3e (patch) | |
| tree | 656d0a2755c098a9e69c373a8c4f39fa82cb8d1e /tv/2configs | |
| parent | c3adb252afa29f0140f29c935201cfbb100b5697 (diff) | |
| parent | 92d5eacd6d9e530c4d1ea0dec2652417b0fde78a (diff) | |
Merge remote-tracking branch 'lass/master'
Diffstat (limited to 'tv/2configs')
| -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 ? {}, ... }: { |