summaryrefslogtreecommitdiffstats
path: root/mv/2configs/git.nix
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-06-30 01:43:33 +0200
committertv <tv@krebsco.de>2016-06-30 01:43:33 +0200
commit385b0345a6ce80cfbf9ba7126e1eb06e77f167d5 (patch)
tree16d2e60e0af57cd567cb73671b6269fbd60b6882 /mv/2configs/git.nix
parent0c7a44139fba572487fe853310b6d88a6ffa21c3 (diff)
mv: stash
Diffstat (limited to 'mv/2configs/git.nix')
-rw-r--r--mv/2configs/git.nix62
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