summaryrefslogtreecommitdiffstats
path: root/lass/2configs/git-brain.nix
diff options
context:
space:
mode:
authorlassulus <lassulus@lassul.us>2021-10-25 19:52:54 +0200
committerlassulus <lassulus@lassul.us>2021-10-25 19:52:54 +0200
commit3a7c33394328108cc9159de89367a90701fcbc80 (patch)
tree466c258b43118d4d347640b392b8b886f5c4a604 /lass/2configs/git-brain.nix
parent12046d150162bf1c111a0ea858cd67a5017221e6 (diff)
l green.r: add brain repo
Diffstat (limited to 'lass/2configs/git-brain.nix')
-rw-r--r--lass/2configs/git-brain.nix57
1 files changed, 57 insertions, 0 deletions
diff --git a/lass/2configs/git-brain.nix b/lass/2configs/git-brain.nix
new file mode 100644
index 000000000..1c6f92fcd
--- /dev/null
+++ b/lass/2configs/git-brain.nix
@@ -0,0 +1,57 @@
+{ config, lib, pkgs, ... }:
+with import <stockholm/lib>;
+let
+
+ repos = krebs-repos;
+ rules = concatMap krebs-rules (attrValues krebs-repos);
+
+ krebs-repos = mapAttrs make-krebs-repo {
+ brain = { };
+ krebs-secrets = { };
+ };
+
+
+ make-krebs-repo = with git; name: { cgit ? {}, ... }: {
+ inherit cgit name;
+ public = false;
+ hooks = {
+ post-receive = pkgs.git-hooks.irc-announce {
+ nick = config.networking.hostName;
+ verbose = true;
+ channel = "#xxx";
+ # TODO remove the hardcoded hostname
+ server = "irc.r";
+ };
+ };
+ };
+
+
+
+ # TODO: get the list of all krebsministers
+ krebsminister = with config.krebs.users; [ makefu tv ];
+ krebs-rules = repo:
+ set-owners repo [ config.krebs.users.lass ] ++ set-ro-access repo krebsminister;
+
+ set-ro-access = with git; repo: user:
+ singleton {
+ inherit user;
+ repo = [ repo ];
+ perm = fetch;
+ };
+
+ set-owners = with git;repo: user:
+ singleton {
+ inherit user;
+ repo = [ repo ];
+ perm = push "refs/*" [ non-fast-forward create delete merge ];
+ };
+
+in {
+ krebs.git = {
+ enable = true;
+ cgit = {
+ enable = false;
+ };
+ inherit repos rules;
+ };
+}