tv gitrepos: use proper post-receive default

This commit is contained in:
tv 2018-10-11 11:33:03 +02:00
parent ebf3fe9e21
commit 58200bf707

View File

@ -153,7 +153,7 @@ let {
public = false; public = false;
hooks = hooks // { hooks = hooks // {
post-receive = /* sh */ '' post-receive = /* sh */ ''
(${hooks.post-receive or ""}) (${hooks.post-receive or ":"})
${cgit-clear-cache}/bin/cgit-clear-cache ${cgit-clear-cache}/bin/cgit-clear-cache
''; '';
}; };