l git: add lass as admin

This commit is contained in:
lassulus 2018-09-09 21:25:09 +02:00
parent a8d78528fc
commit f6e69c6ecb

View File

@ -156,7 +156,7 @@ let
with git // config.krebs.users;
repo:
singleton {
user = [ lass-mors lass-shodan lass-icarus lass-blue ];
user = [ lass lass-mors lass-shodan lass-icarus lass-blue ];
repo = [ repo ];
perm = push "refs/*" [ non-fast-forward create delete merge ];
} ++