summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2018-08-28 21:48:00 +0200
committertv <tv@krebsco.de>2018-08-28 22:36:40 +0200
commit16ad5fb0a835a1022656253ae838e83fa024e692 (patch)
tree2f71ed05d320cef273ed94efb0b37da4c9e3e3ca
parent7da08cb47fd07d4220f459475bb8bce405512397 (diff)
tv gitrepos: cgit-clear-cache on post-receive
-rw-r--r--tv/2configs/gitrepos.nix27
1 files changed, 22 insertions, 5 deletions
diff --git a/tv/2configs/gitrepos.nix b/tv/2configs/gitrepos.nix
index 06875038d..74fb5215a 100644
--- a/tv/2configs/gitrepos.nix
+++ b/tv/2configs/gitrepos.nix
@@ -18,6 +18,10 @@ let {
};
};
+ cgit-clear-cache = pkgs.cgit-clear-cache.override {
+ inherit (config.krebs.git.cgit.settings) cache-root;
+ };
+
repos =
public-repos //
optionalAttrs config.krebs.build.host.secure restricted-repos;
@@ -97,8 +101,11 @@ let {
{
brain = {
collaborators = with config.krebs.users; [ lass makefu ];
- hooks.post-receive = irc-announce {
- cgit_endpoint = null;
+ hooks = {
+ post-receive = /* sh */ ''
+ (${irc-announce { cgit_endpoint = null; }})
+ ${cgit-clear-cache}/bin/cgit-clear-cache
+ '';
};
};
} //
@@ -117,14 +124,24 @@ let {
make-public-repo = name: { cgit ? {}, ... }: {
inherit cgit name;
public = true;
- hooks = optionalAttrs (config.krebs.build.host.name == "ni") {
- post-receive = irc-announce {};
+ hooks = {
+ post-receive = /* sh */ ''
+ (${optionalString (config.krebs.build.host.name == "ni")
+ (irc-announce {})})
+ ${cgit-clear-cache}/bin/cgit-clear-cache
+ '';
};
};
make-restricted-repo = name: { collaborators ? [], hooks ? {}, ... }: {
- inherit collaborators hooks name;
+ inherit collaborators name;
public = false;
+ hooks = hooks // {
+ post-receive = /* sh */ ''
+ (${hooks.post-receive or ""})
+ ${cgit-clear-cache}/bin/cgit-clear-cache
+ '';
+ };
};
make-rules =