diff options
author | tv <tv@krebsco.de> | 2021-11-21 13:44:39 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2021-11-21 13:44:39 +0100 |
commit | e250f858382a1c830a55a7243a80e1fbd2d1b15d (patch) | |
tree | 0dd30c66ddc473112f1f1fcbf0c80ad896a38204 /lass/2configs/git-brain.nix | |
parent | a752af84bedc24fdc32004a8760532b3206c0421 (diff) | |
parent | b0f39ae34d1f248a4c1b92946a42418779f69490 (diff) |
Merge remote-tracking branch 'prism/master'
Diffstat (limited to 'lass/2configs/git-brain.nix')
-rw-r--r-- | lass/2configs/git-brain.nix | 57 |
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; + }; +} |