diff options
author | tv <tv@shackspace.de> | 2015-06-19 01:03:17 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-06-19 01:03:17 +0200 |
commit | c6f229df6232b60c247d5a978f325793b3bc7c5d (patch) | |
tree | 68ad9d5c0da3948cd4130c60e559960af231e179 | |
parent | e56f2179cb616d5c3773e6d125858fbb52755a3a (diff) |
cd git public: add lass & uriel
-rw-r--r-- | modules/cd/git.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/modules/cd/git.nix b/modules/cd/git.nix index d7a270463..84fd8f715 100644 --- a/modules/cd/git.nix +++ b/modules/cd/git.nix @@ -25,7 +25,8 @@ let users = addNames { tv = { pubkey = readFile <pubkeys/tv.ssh.pub>; }; - lass = { pubkey = "xxx"; }; + lass = { pubkey = readFile <pubkeys/lass.ssh.pub>; }; + uriel = { pubkey = readFile <pubkeys/uriel.ssh.pub>; }; makefu = { pubkey = "xxx"; }; }; @@ -51,7 +52,7 @@ let repo = [ repo ]; perm = push "refs/*" [ non-fast-forward create delete merge ]; } - { user = [ lass makefu ]; + { user = [ lass makefu uriel ]; repo = [ repo ]; perm = fetch; } |