l git: add blue & mors to allowed users

This commit is contained in:
lassulus 2018-05-20 10:42:46 +02:00
parent de7ee966df
commit 3277fac9b6

View File

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