l git: allow xerxes

This commit is contained in:
lassulus 2019-10-14 15:35:38 +02:00
parent 07d3b5c41a
commit 5060f9da94

View File

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