l git: add icarus to admin users

This commit is contained in:
lassulus 2018-05-13 22:27:15 +02:00
parent 364c99bd29
commit 619131d246

View File

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