summaryrefslogtreecommitdiffstats
path: root/mv/2configs
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2015-11-18 00:57:47 +0100
committertv <tv@krebsco.de>2015-11-18 00:57:47 +0100
commit46c4d6989b0d11bc38a62217d29283f2305ee4f1 (patch)
treed7690d10989774a9a76214eafab65b738870665e /mv/2configs
parentfba8d4d0f5afecbfe2c2fcf9a3faa9120d35a68b (diff)
mv: add stockholm repo
Diffstat (limited to 'mv/2configs')
-rw-r--r--mv/2configs/git.nix58
1 files changed, 58 insertions, 0 deletions
diff --git a/mv/2configs/git.nix b/mv/2configs/git.nix
new file mode 100644
index 0000000..991d0c4
--- /dev/null
+++ b/mv/2configs/git.nix
@@ -0,0 +1,58 @@
+{ config, lib, pkgs, ... }:
+
+with lib;
+
+let
+
+ out = {
+ krebs.git = {
+ enable = true;
+ root-title = "public repositories at ${config.krebs.build.host.name}";
+ root-desc = "Hmhmh, im Moment nicht.";
+ repos = mapAttrs (_: s: removeAttrs s ["collaborators"]) repos;
+ rules = rules;
+ };
+ };
+
+ repos = public-repos;
+
+ rules = concatMap make-rules (attrValues repos);
+
+ public-repos = mapAttrs make-public-repo {
+ stockholm = {};
+ };
+
+ make-public-repo = name: { desc ? null, section ? null, ... }: {
+ inherit name desc section;
+ public = true;
+ hooks = {
+ post-receive = pkgs.git-hooks.irc-announce {
+ # TODO make nick = config.krebs.build.host.name the default
+ nick = config.krebs.build.host.name;
+ channel = "#retiolum";
+ server = "cd.retiolum";
+ verbose = config.krebs.build.host.name == "stro";
+ };
+ };
+ };
+
+ make-rules =
+ with git // config.krebs.users;
+ repo:
+ singleton {
+ user = [ mv_stro ];
+ repo = [ repo ];
+ perm = push "refs/*" [ non-fast-forward create delete merge ];
+ } ++
+ optional repo.public {
+ user = [ lass makefu uriel tv tv_xu ];
+ repo = [ repo ];
+ perm = fetch;
+ } ++
+ optional (length (repo.collaborators or []) > 0) {
+ user = repo.collaborators;
+ repo = [ repo ];
+ perm = fetch;
+ };
+
+in out