diff options
author | tv <tv@krebsco.de> | 2018-10-11 11:33:03 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2018-10-11 11:33:03 +0200 |
commit | 58200bf7075eeef5ab1979f1da6729fa7bbf41dd (patch) | |
tree | 12c26dc8500f185739f66c56b123d34020eec5ce | |
parent | ebf3fe9e21dcdbb03fb7e739c10ff087f7646cad (diff) |
tv gitrepos: use proper post-receive default
-rw-r--r-- | tv/2configs/gitrepos.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tv/2configs/gitrepos.nix b/tv/2configs/gitrepos.nix index a8cbe0f1c..62c90d4e9 100644 --- a/tv/2configs/gitrepos.nix +++ b/tv/2configs/gitrepos.nix @@ -153,7 +153,7 @@ let { public = false; hooks = hooks // { post-receive = /* sh */ '' - (${hooks.post-receive or ""}) + (${hooks.post-receive or ":"}) ${cgit-clear-cache}/bin/cgit-clear-cache ''; }; |