summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@shackspace.de>2015-06-19 01:03:17 +0200
committertv <tv@shackspace.de>2015-06-19 01:03:17 +0200
commitc6f229df6232b60c247d5a978f325793b3bc7c5d (patch)
tree68ad9d5c0da3948cd4130c60e559960af231e179
parente56f2179cb616d5c3773e6d125858fbb52755a3a (diff)
cd git public: add lass & uriel
-rw-r--r--modules/cd/git.nix5
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;
}