cd git public: add lass & uriel

This commit is contained in:
tv 2015-06-19 01:03:17 +02:00
parent e56f2179cb
commit c6f229df62

View File

@ -25,7 +25,8 @@ let
users = addNames { users = addNames {
tv = { pubkey = readFile <pubkeys/tv.ssh.pub>; }; 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"; }; makefu = { pubkey = "xxx"; };
}; };
@ -51,7 +52,7 @@ let
repo = [ repo ]; repo = [ repo ];
perm = push "refs/*" [ non-fast-forward create delete merge ]; perm = push "refs/*" [ non-fast-forward create delete merge ];
} }
{ user = [ lass makefu ]; { user = [ lass makefu uriel ];
repo = [ repo ]; repo = [ repo ];
perm = fetch; perm = fetch;
} }