makefu: add new git user makefu-omo

This commit is contained in:
makefu 2015-07-29 14:22:24 +02:00
parent 2caa141208
commit 704fa01df2
2 changed files with 17 additions and 11 deletions

View file

@ -1,4 +0,0 @@
deploy_host := root@pnp
nixpkgs_url := https://github.com/nixos/nixpkgs
nixpkgs_rev := 4c01e6d91993b6de128795f4fbdd25f6227fb870
secrets_dir := /home/makefu/secrets/pnp

View file

@ -30,12 +30,13 @@ let
post-receive = git.irc-announce {
nick = config.networking.hostName;
channel = "#retiolum";
# TODO remove the hardcoded hostname
server = "cd.retiolum";
};
};
};
set-owners = with git; repo: user:
set-owners = with git;repo: user:
singleton {
inherit user;
repo = [ repo ];
@ -52,17 +53,26 @@ let
# TODO: get the list of all krebsministers
krebsminister = with config.krebs.users; [ lass tv uriel ];
priv-rules = with config.krebs.users; repo:
set-owners repo [ makefu ];
#all-makefu = with config.krebs.users; [ makefu ];
krebs-rules = with config.krebs.users; repo:
set-owners repo [ makefu ] ++ set-ro-access repo krebsminister ;
all-makefu = with config.krebs.users; [ makefu makefu-omo ];
priv-rules = repo: set-owners repo all-makefu;
krebs-rules = repo:
set-owners repo all-makefu ++ set-ro-access repo krebsminister;
in {
imports = [ ../../3modules/krebs/git.nix ];
imports = [{
krebs.users.makefu-omo = {
name = "makefu-omo" ;
pubkey= with builtins; readFile ../../Zpubkeys/makefu_omo.ssh.pub;
};
}];
krebs.git = {
enable = true;
root-title = "public repositories ";
root-title = "public repositories";
root-desc = "keep on krebsing";
inherit repos rules;
};