diff options
author | lassulus <lass@aidsballs.de> | 2016-06-30 21:51:09 +0200 |
---|---|---|
committer | lassulus <lass@aidsballs.de> | 2016-06-30 21:51:09 +0200 |
commit | b3fa9cbd7e4bc8fe950aed139d857a2f14775b94 (patch) | |
tree | 223af7528e038008bf8de4252dc986910f380f13 /mv/2configs/git.nix | |
parent | eac3b2f4b46c9046205bc2507cd8fab3840929bb (diff) | |
parent | 4d63548868ec4806d62d82337bb278e6dd34f21e (diff) |
Merge remote-tracking branch 'cd/master'
Diffstat (limited to 'mv/2configs/git.nix')
-rw-r--r-- | mv/2configs/git.nix | 62 |
1 files changed, 0 insertions, 62 deletions
diff --git a/mv/2configs/git.nix b/mv/2configs/git.nix deleted file mode 100644 index aee448cb6..000000000 --- a/mv/2configs/git.nix +++ /dev/null @@ -1,62 +0,0 @@ -{ config, lib, pkgs, ... }: - -with config.krebs.lib; - -let - - out = { - krebs.git = { - enable = true; - cgit = { - settings = { - 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: { cgit ? {}, ... }: { - inherit cgit name; - 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 |